Authors on this page:
- Seunghwan O
- Mitsuhiro Okada
- Oles, F.J.
- Frank J. Oles
- Paulo Oliva
- C.-H. Luke Ong
- C.-H.L. Ong
- C.-H. L. Ong
- Martin Otto
- Joël Ouaknine
- Joel Ouaknine
Seunghwan O
- Short Presentation: Hyunjun Eo Seunghwan O Nikolay Shilov
Finite game semantics for Propositional Program Logics (LICS 2005) More Information...
Mitsuhiro Okada
- 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...
Oles, F.J.
- Paper: Mislove, M.W. Moss, L.S. Oles, F.J.
Non-well-founded sets obtained from ideal fixed points (LICS 1989) More Information...
Frank J. Oles
- Short Presentation: Frank J. Oles
Patterns Based on Multiple Interacting Partial Orders (LICS 2003) More Information...
Paulo Oliva
- Paper: Paulo Oliva
Polynomial-time Algorithms from Ineffective Proofs (LICS 2003) More Information...
C.-H. Luke Ong
- 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...
C.-H.L. Ong
- Paper: A.S. Murawski C.-H.L. Ong
Dominator Trees and Fast Verification of Proof Nets (LICS 2000) More Information...
C.-H. L. Ong
- 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...
Martin Otto
- 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...
Joël Ouaknine
- 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...
Joel Ouaknine
- Paper: Joel Ouaknine James Worrell
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap (LICS 2004) More Information...