MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "First-Order Logic with Two Variables and Unary Temporal Logic." – 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.

ATOM

First-Order Logic with Two Variables and Unary Temporal Logic
by Thomas Wilke, Kousha Etessami, Kousha Etessami, Moshe Y. Vardi, Moshe Y. Vardi — 1997 — Inf. Comput
…BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic BRICS…
Cited by 19 (0 self) – Add To MetaCart

First-Order Logic with Two Variables and Unary Temporal Logic
by Kousha Etessami, Moshe Y. Vardi, Thomas Wilke — 1998
…First-Order Logic with Two Variables and Unary Temporal Logic Kousha Etessami y Bell Labs Murray…
Cited by 36 (7 self) – Add To MetaCart

BRICS Research Series, 1997
by Brics, David A. Schmidt, Abstract Interpretation, Operational Semantics, Olivier Danvy, Mayer Goldberg, Partial Evaluation Euclidian, Jesper G. Henriksen — 1999
…. Kousha Etessami, Moshe Y. Vardi, and Thomas Wilke. First-Order Logic with Two Variables and Unary…
Add To MetaCart

Showing 1 through 3.

ATOM

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