LICS - Index of Papers and Short Presentations by Authors : O

Authors on this page:

Short Presentation: Hyunjun Eo Seunghwan O Nikolay Shilov
Finite game semantics for Propositional Program Logics (LICS 2005) More Information...

Paper: Nachum Dershowitz Mitsuhiro Okada
Proof-theoretic techniques for term rewriting theory (LICS 1988) More Information...
Paper: Jean-Pierre Jouannaud Mitsuhiro Okada
A computation model for executable higher-order algebraic specification languages (LICS 1991) More Information...

Paper: Mislove, M.W. Moss, L.S. Oles, F.J.
Non-well-founded sets obtained from ideal fixed points (LICS 1989) More Information...

Short Presentation: Frank J. Oles
Patterns Based on Multiple Interacting Partial Orders (LICS 2003) More Information...

Paper: Paulo Oliva
Polynomial-time Algorithms from Ineffective Proofs (LICS 2003) More Information...

Paper: C.-H. Luke Ong
Non-determinism in a functional setting (LICS 1993) More Information...
Paper: C.-H. Luke Ong
A semantic view of classical proofs: type-theoretic, categorical, and denotational characterizations (LICS 1996) More Information...

Paper: A.S. Murawski C.-H.L. Ong
Dominator Trees and Fast Verification of Proof Nets (LICS 2000) More Information...

Paper: C.-H. L. Ong
Observational equivalence of 3rd-order Idealized Algol is decidable (LICS 2002) More Information...
Paper: S. Abramsky D. R. Ghica A. S. Murawski C.-H. L. Ong I. D. B. Stark
Nominal Games and Full Abstraction for the Nu-Calculus (LICS 2004) More Information...

Paper: Martin Otto
Generalized quantifiers for simple properties (LICS 1994) More Information...
Paper: Martin Otto
Ptime Canonization for Two Variables with Counting (LICS 1995) More Information...
Paper: Erich Graedel Martin Otto Eric Rosen
Two-variable logic with counting is decidable (LICS 1997) More Information...
Paper: Phokion G. Kolaitis Martin Otto
On the Boundedness Problem for Two-Variable First-Order Logic (LICS 1998) More Information...
Paper: Erich Graedel Colin Hirsch Martin Otto
Back and Forth between Guarded and Modal Logics (LICS 2000) More Information...
Paper: Martin Otto
Modal and guarded characterisation theorems over finite transition systems (LICS 2002) More Information...
Paper: Anuj Dawar Martin Otto
Modal Characterisation Theorems over Special Classes of Frames (LICS 2005) More Information...
Paper: Emanuel Kieronski Martin Otto
Small Substructures and Decidability Issues for First-Order Logic with Two Variables (LICS 2005) More Information...

Paper: Joël Ouaknine James Worrell
Revisiting Digitization, Robustness, and Decidability for Timed Automata (LICS 2003) More Information...
Paper: Joël Ouaknine James Worrell
On the Decidability of Metric Temporal Logic (LICS 2005) More Information...

Paper: Joel Ouaknine James Worrell
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap (LICS 2004) More Information...

IEEE Symposium on Logic in Computer Science