Otto, Martin - Fachbereich Mathematik, Technische Universit�t Darmstadt

Advanced Search

Otto, Martin - Fachbereich Mathematik, Technische Universit�t Darmstadt

Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment
Small Substructures and Decidability Issues for FirstOrder Logic with Two Variables
TwoVariable Logic with Counting is Decidable \Lambda Erich Gradel Martin Otto Eric Rosen
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
A Lindstrom Characterisation of the Guarded Fragment and of Modal Logic
An Interpolation Theorem Martin Otto
Small Substructures and Decidability Issues for First-Order Logic with Two Variables
Linear Algebra I Martin Otto
Linear Algebra I Martin Otto
Linear Algebra II Martin Otto
QUERYING THE GUARDED FRAGMENT VINCE BARANY, GEORG GOTTLOB, AND MARTIN OTTO
Modal and Guarded Characterisation Theorems over Finite Transition Systems
Two Variable First-Order Logic over Ordered Domains Martin Otto
Avoiding Incidental Homomorphisms Into Guarded Covers Martin Otto #
Modal Characterisation Theorems over Special Classes of Frames
Querying the Guarded Fragment Vince Barany
On the Boundedness Problem for TwoVariable FirstOrder Logic Phokion G. Kolaitis \Lambda Martin Otto y
Modal Characterisation Theorems over Special Classes of Frames University of Cambridge Computer Laboratory
BISIMULATION INVARIANCE AND FINITE MODELS MARTIN OTTO
We construct finite groups whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long se-
MODEL THEORY OF MODAL LOGIC Valentin Goranko and Martin Otto
Finite Model Theory Martin Otto
Linear Algebra II Martin Otto
Modal and Guarded Characterisation Theorems over Finite Transition Systems
Elementary Proof of the van Benthem-Rosen Characterisation Theorem
BisimulationInvariant Ptime and HigherDimensional Martin Otto
Adding for-loops to rst-order logic Frank Neven y Martin Otto Jurek Tyszkiewicz z
The Boundedness Problem for Monadic Universal FirstOrder Logic Martin Otto
Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment Martin Otto
Back and Forth Between Guarded and Modal Logics Erich Gradel y Colin Hirsch y Martin Otto z
DECIDABILITY RESULTS FOR THE BOUNDEDNESS PROBLEM ACHIM BLUMENSATH, MARTIN OTTO, AND MARK WEYER
Boundedness of Monadic FO over Acyclic Structures Stephan Kreutzer 1 , Martin Otto 2 , and Nicole Schweikardt 1 ?
Back and Forth Between Guarded and Modal Logics Erich Gradel # Colin Hirsch # Martin Otto +
Model Theoretic Methods for Fragments of FO and Special Classes of (Finite) Structures
Fachbereich Mathematik Prof. Dr. Martin Otto, AG Logik
The Boundedness Problem for Monadic Universal First-Order Logic Martin Otto