Searching for "Tableau Reasoning and Programming with Dynamic First Order 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.

Tableau Reasoning and Programming with Dynamic First Order Logic
by Jan van Eijck, Juan Heguiabehere, Breanndan O Nuallain — 2001
…Tableau Reasoning and Programming with Dynamic First Order Logic Jan van Eijck, CWI and ILLC…
Cited by 3 (2 self) – Add To MetaCart

Logic Journal of the IGPL, Vol. 9, No. 3
by Dov M. Gabbay, Ruy De Queiroz, Hans J Urgen Ohlbach, Jon Barwise (deceased, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Saharon Shelah, Johan Van Benthem — 2001
… calculus | Part II H. Cirstea and C. Kirchner 435 Tableau Reasoning and Programming with Dynamic First…
Add To MetaCart

Showing 1 through 2.

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