MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Temporal logic and recursion." – 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

Implementing Temporal Logics: Tools for Execution and Proof
by Michael Fisher — Proceedings of CLIMA VI, LNAI 3900
…. It is easy to show that first-order temporal logic is, in general, incomplete (i.e. not recursively…
Cited by 1 (0 self) – Add To MetaCart

Model Checking Data-Independent Systems With Arrays
by T. C. Newcomb — 2003
… -calculus, a branching-time temporal logic with recursion, as our specication language. We describe a model…
Cited by 1 (1 self) – Add To MetaCart

Temporal Logic in Information Systems
by Jan Chomicki, David Toman, David Toman, David Toman — 1997 — Logics for Databases and Information Systems
…BRICS LS-97-1 Chomicki & Toman: Temporal Logic in Information Systems BRICS Basic Research…
Cited by 43 (13 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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