Searching for authors named "Martin Otto" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Modal and Guarded Characterisation Theorems over Finite Transition Systems
- …Modal and Guarded Characterisation Theorems over Finite Transition Systems Martin Otto preprint…
- Cited by 8 (2 self) – Add To MetaCart
-
Two Variable First-Order Logic over Ordered Domains
- …Two Variable First-Order Logic over Ordered Domains Martin Otto March 98 Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
Bisimulation Invariance and Finite Models
- …BISIMULATION INVARIANCE AND FINITE MODELS MARTIN OTTO Abstract. We study bisimulation invariance…
- Cited by 2 (0 self) – Add To MetaCart
-
An Interpolation Theorem
- …An Interpolation Theorem Martin Otto July 2000 Abstract Lyndon's Interpolation Theorem asserts…
- Cited by 1 (0 self) – Add To MetaCart
-
Bounded Variable Logics: Two, Three, and More
- …Bounded Variable Logics: Two, Three, and More Martin Otto Revised 1997 Abstract Consider…
- Cited by 1 (0 self) – Add To MetaCart
-
Bisimulation-Invariant Ptime and Higher-Dimensional µ-Calculus
- …Bisimulation-Invariant Ptime and Higher-Dimensional -Calculus Martin Otto Mathematische…
- Cited by 10 (1 self) – Add To MetaCart
-
Epsilon-Logic is More Expressive than First-Order Logic over Finite Structures
- …Epsilon-Logic is More Expressive than First-Order Logic over Finite Structures Martin Otto revised…
- Cited by 5 (0 self) – Add To MetaCart
-
Finite Conformal Hypergraph Covers, With Two Applications
- …Finite conformal hypergraph covers, with two applications Ian Hodkinson Imperial College Martin…
- Cited by 2 (1 self) – Add To MetaCart
-
Generalized Quantifiers for Simple Properties
- …Generalized Quantifiers for Simple Properties Martin Otto Mathematische Grundlagen der Informatik…
- Cited by 2 (0 self) – Add To MetaCart
-
Eliminating Recursion in the µ-Calculus
- …Eliminating recursion in the -calculus ? Martin Otto RWTH Aachen Consider the following problem…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
