Searching for "Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic
by Thomas Drakengren, Peter Jonsson — 1998 — Journal of Logic and Computation
…Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic Thomas…
Cited by 2 (2 self) – Add To MetaCart

Algorithms and Complexity for Temporal and Spatial Formalisms
by Thomas Drakengren — 1997
…. Reasoning about Set Constraints Applied to Tractable Inference in Intuitionistic Logic. 1 1 Thesis Overview…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB