A Higher-order Interpretation of Deductive Tableau

By Ayari A.   Basin D.  

Journal of Symbolic Computation, Vol. 31, Iss. 5, 2001-05 ,pp. : 487-520

Academic Press

Access to resources Recommend Favorite

Games for the -calculus

By Niwinski D.   Walukiewicz I.  

Theoretical Computer Science, Vol. 163, Iss. 1, 1996-08 ,pp. : 99-116

Elsevier

Access to resources Recommend Favorite

A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes

By Lutz Carsten   Miličić Maja  

Journal of Automated Reasoning, Vol. 38, Iss. 1-3, 2007-04 ,pp. : 227-259

Springer Publishing Company

Access to resources Recommend Favorite

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

By Cantone Domenico   Zarba Calogero   Cannata Rosa  

Journal of Automated Reasoning, Vol. 34, Iss. 1, 2005-01 ,pp. : 49-72

Springer Publishing Company

Access to resources Recommend Favorite

On the decidability of fragments of the asynchronous -calculus

By Amadio R.M.   Meyssonnier C.  

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 1, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite