Results 31 to 40 of about 1,546,334 (124)

Model checking for a first-order temporal logic using multiway decision graphs [PDF]

, 1998
Ying Xu, E. Cerny, X. Song, Francisco Corella, Otmane Aı̈t Mohamed   +4 more
openalex   +1 more source

First-order logic on finite trees [PDF]

, 1995
Andreas Potthoff
openalex   +1 more source

Decidable First-Order Transition Logics for PA-Processes [PDF]

, 2000
Denis Lugiez, Philippe Schnoebelen
openalex   +1 more source

The complexity of first-order and monadic second-order logic revisited [PDF]

, 2003
Markus Frick, Martin Grohe
openalex   +2 more sources

Automating first-order relational logic [PDF]

, 2000
Daniel Jackson
openalex   +1 more source

Type Inference for First-Order Logic [PDF]

, 2000
Aleksy Schubert
openalex   +1 more source

First-Order Dynamic Logic [PDF]

, 2000
P Brinch, Hansen Gries, C Moler, G Seegmlifler, Josef Stoer, N. Wirth, David Harel   +6 more
openalex   +1 more source

On Spatial Conjunction as Second-Order Logic

, 2004
Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation.
Kuncak, Viktor, Rinard, Martin
core   +3 more sources

First-order categorical logic

, 1978
Gian‐Carlo Rota
openalex   +1 more source

A parallel processing approach for implementing high-performance first-order logic deduction systems

, 1989
Aayush Jindal, Ross Overbeek, William McCune   +2 more
openalex   +2 more sources