Searching for "The Two-Variable Guarded Fragment with Transitive Relations." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

The Two-Variable Guarded Fragment with Transitive Relations
by H. Ganzinger, C. Meyer, M. Veanes — 1999 — In Proc. LICS'99
…The Two-Variable Guarded Fragment with Transitive Relations H. Ganzinger, C. Meyer, and M. Veanes…
Cited by 31 (1 self) – Add To MetaCart

PUBLICATIONS
by Christoph M. Kirsch — 1996
…, 2001. Click here for PDF file. [20] H. Ganzinger, C. Meyer, and M. Veanes. The two-variable guarded…
Add To MetaCart

ACADEMIC EMPLOYMENT
by Christoph M. Kirsch, Visiting Scholar — 2008
…. Ganzinger, C. Meyer, and M. Veanes. The two-variable guarded fragment with transitive relations. In Proc…
Add To MetaCart

Showing 1 through 3.

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