Authors on this page:
- Vaananen, J.A.
- Vaandrager, F.
- Fritz W. Vaandrager
- Johan van Benthem
- Dirk van Dalen
- Jan Van den Bussche
- van der Meyden, R.
- Ron Van Der Meyden
- Govert van Drimmelen
- W. H. van Emden
- van Glabbeek, R.
- R.J. Van Glabbeek
- Rob Van Glabbeek
- Dirk Van Gucht
- Daniele Varacca
- Moshe Y. Vardi
- Vardi, M.Y.
- Vardi, M.
- M.Y. Vardi
- Margus Veanes
- M. Veanes
- Helmut Veith
- Yde Venema
- R. Verma
- Vianu, V.
- Victor Vianu
- Björn Victor
- Victor Victor
- R. Villemaire
- Roberto Virga
- Ramesh Viswanathan
- T. von Oertzen
- Sergei G. Vorobyov
- Sergei Vorobyov
- S. Vorobyov
- Andrei Voronkov
- Jerome Vouillon
- G. Voutsadakis
Vaananen, J.A.
- Paper: Kolaitis, P.G. Vaananen, J.A.
Generalized quantifiers and pebble games on finite structures (LICS 1992) More Information...
Vaandrager, F.
- Paper: De Nicola, R. Vaandrager, F.
Three logics for branching bisimulation (LICS 1990) More Information... - Paper: Aceto, L. Bloom, B. Vaandrager, F.
Turning SOS rules into equations (LICS 1992) More Information...
Fritz W. Vaandrager
- Paper: Fritz W. Vaandrager
On the relationship between process algebra and input/output automata (LICS 1991) More Information...
Johan van Benthem
- Invited Talk: Johan van Benthem
Process Operations in Extended Dynamic Logics (LICS 1998) More Information...
Dirk van Dalen
- Invited Talk: Dirk van Dalen
L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments (LICS 1998) More Information...
Jan Van den Bussche
- Paper: Jan Paredaens Jan Van den Bussche Dirk Van Gucht
First-Order Queries on Finite Structures Over the Reals (LICS 1995) More Information...
van der Meyden, R.
- Paper: van der Meyden, R.
The dynamic logic of permission (LICS 1990) More Information...
Ron Van Der Meyden
- Paper: Ron Van Der Meyden
Axioms for knowledge and time in distributed systems with perfect recall (LICS 1994) More Information...
Govert van Drimmelen
- Paper: Govert van Drimmelen
Satisfiability in Alternating-time Temporal Logic (LICS 2003) More Information...
W. H. van Emden
- Invited Talk: W. H. van Emden
First-order Predicate Logic as a Common Basis for Relational and Functional Programming (LICS 1987) More Information...
van Glabbeek, R.
- Paper: van Glabbeek, R. Smolka, S.A. Steffen, B. Tofts, C.M.N.
Reactive, generative, and stratified models of probabilistic processes (LICS 1990) More Information...
R.J. Van Glabbeek
- Paper: R.J. Van Glabbeek G.D. Plotkin
Configuration Structures (LICS 1995) More Information...
Rob Van Glabbeek
- Paper: Bard Bloom Wan Fokkink Rob Van Glabbeek
Precongruence Formats for Decorated Trace Preorders (LICS 2000) More Information... - Paper: Dominic Hughes Rob Van Glabbeek
Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (LICS 2003) More Information...
Dirk Van Gucht
- Paper: Jan Paredaens Jan Van den Bussche Dirk Van Gucht
First-Order Queries on Finite Structures Over the Reals (LICS 1995) More Information... - Short Presentation: Bassem Sayrafi Dirk Van Gucht Marc Gyssens
Measures and Measure-Based Constraints (LICS 2005) More Information...
Daniele Varacca
- Paper: Daniele Varacca
The powerdomain of indexed valuations (LICS 2002) More Information... - Paper: Giuseppe Castagna Rocco De Nicola Daniele Varacca
Semantic Subtyping for the p-Calculus (LICS 2005) More Information...
Moshe Y. Vardi
- Paper: Moshe Y. Vardi Pierre Wolper
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) (LICS 1986) More Information... - Paper: Haim Gaifman Harry Mairson Yehoshua Sagiv Moshe Y. Vardi
Undecidable Optimization Problems for Database Logic Programs (LICS 1987) More Information... - Paper: Moshe Y. Vardi
Verification of Concurrent Programs: The Automata-Theoretic Framework (LICS 1987) More Information... - Paper: Phokion G. Kolaitis Moshe Y. Vardi
0-1 laws and decision problems for fragments of second-order logic (LICS 1988) More Information... - Paper: Thom Fruhwirth Ehud Shapiro Moshe Y. Vardi Eyal Yardeni
Logic programs as types for logic programs (LICS 1991) More Information... - Paper: Orna Kupferman Shumel Safra Moshe Y. Vardi
Relating word and tree automata (LICS 1996) More Information... - Paper: Phokion G. Kolaitis Moshe Y. Vardi
On the expressive power of variable-confined logics (LICS 1996) More Information... - Paper: Kousha Etessami Moshe Y. Vardi Thomas Wilke
First-Order Logic with Two Variables and Unary Temporal Logic (LICS 1997) More Information... - Paper: Orna Kupferman Moshe Y. Vardi
Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (LICS 1998) More Information... - Invited Talk: Moshe Y. Vardi
Linear vs. Branching Time: A Complexity-Theoretic Perspective (LICS 1998) More Information... - Paper: Diego Calvanese Giuseppe de Giacomo Maurizio Lenzerini Moshe Y. Vardi
View-Based Query Processing and Constraint Satisfaction (LICS 2000) More Information... - Paper: Orna Kupferman Moshe Y. Vardi
Synthesizing Distributed Systems (LICS 2001) More Information... - Paper: Marco Pistore Moshe Y. Vardi
The Planning Spectrum - One, Two, Three, Infinity (LICS 2003) More Information... - Paper: Tomás Feder Moshe Y. Vardi
Homomorphism Closed vs. Existential Positive (LICS 2003) More Information... - Paper: Nir Piterman Moshe Y. Vardi
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems (LICS 2003) More Information...
Vardi, M.Y.
- Paper: Vardi, M.Y.
On the complexity of epistemic reasoning (LICS 1989) More Information... - Paper: Kolaitis, P.G. Vardi, M.Y.
0-1 laws for infinitary logics (LICS 1990) More Information... - Paper: Kolaitis, P.G. Vardi, M.Y.
Fixpoint logic vs. infinitary logic in finite-model theory (LICS 1992) More Information...
Vardi, M.
- Paper: Harel, D. Rosner, R. Vardi, M.
On the power of bounded concurrency. III. Reasoning about programs (LICS 1990) More Information...
M.Y. Vardi
- Paper: M.Y. Vardi
On the complexity of modular model checking (LICS 1995) More Information...
Margus Veanes
- Paper: Margus Veanes
The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification (LICS 1998) More Information...
M. Veanes
- Paper: H. Ganzinger C. Meyer M. Veanes
The Two-Variable Guarded Fragment with Transitive Relations (LICS 1999) More Information...
Helmut Veith
- Paper: Edmund Clarke Somesh Jha Yuan Lu Helmut Veith
Tree-like Counterexamples in Model Checking (LICS 2002) More Information...
Yde Venema
- Paper: Clemens Kupke Yde Venema
Closure Properties of Coalgebra Automata (LICS 2005) More Information...
R. Verma
- Short Presentation: A. Hayrapetyan R. Verma
On the Complexity of Confluence for Ground Rewrite Systems (LICS 2001) More Information...
Vianu, V.
- Paper: Abiteboul, S. Vianu, V.
Fixpoint extensions of first-order logic and datalog-like languages (LICS 1989) More Information...
Victor Vianu
- Paper: Serge Abiteboul Christos Papadimitrou Victor Vianu
The power of reflective relational machines (LICS 1994) More Information... - Paper: Noga Alon Tova Milo Frank Neven Dan Suciu Victor Vianu
Typechecking XML Views of Relational Databases (LICS 2001) More Information...
Björn Victor
- Paper: Joachim Parrow Björn Victor
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (LICS 1998) More Information...
Victor Victor
- Paper: Michael Baldamus Joachim Parrow Victor Victor
Spi Calculus Translated to π--Calculus Preserving May-Tests (LICS 2004) More Information...
R. Villemaire
- Short Presentation: R. Villemaire
Lazy Structure Preserving Translation of Boolean Expressions into CNF (LICS 2004) More Information...
Roberto Virga
- Paper: Amal J. Ahmed Andrew W. Appel Roberto Virga
A Stratified Semantics of General References Embeddable in Higher-Order Logic (LICS 2002) More Information...
Ramesh Viswanathan
- Paper: My Hoang John Mitchell Ramesh Viswanathan
Standard ML-NJ weak polymorphism and imperative constructs (LICS 1993) More Information... - Paper: Ramesh Viswanathan
Full Abstraction for First-Order Objects with Recursive Types and Subtyping (LICS 1998) More Information...
T. von Oertzen
- Short Presentation: M. Bodirsky M. Gaertner T. von Oertzen J. Schwinghammer
Computing the Density of Regular Languages (LICS 2001) More Information...
Sergei G. Vorobyov
- Paper: Sergei G. Vorobyov
On the arithmetic inexpressiveness of term rewriting systems (LICS 1988) More Information...
Sergei Vorobyov
- Paper: Sergei Vorobyov
The "Hardest" Natural Decidable Theory (LICS 1997) More Information...
S. Vorobyov
- Short Presentation: V. Petersson S. Vorobyov
Interior-Point Approach to Parity Games (LICS 2001) More Information... - Short Presentation: H. Björklund S. Vorobyov
Two Adversary Lower Bounds for Parity Games (LICS 2002) More Information... - Short Presentation: E. Beffara S. Vorobyov
Is Randomized Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games Polynomial? (LICS 2002) More Information...
Andrei Voronkov
- Paper: Anatoli Degtyarev Yuri Matiyasevich Andrei Voronkov
Simultaneous Rigid E-Unification and Related Algorithmic Problems (LICS 1996) More Information... - Paper: Anatoli Degtyarev Andrei Voronkov
Decidability Problems for the Prenex Fragment of Intuitionistic Logic (LICS 1996) More Information... - Paper: Andrei Voronkov
Herbrand's Theorem, Automated Reasoning and Semantics Tableaux (LICS 1998) More Information... - Paper: Tatiana Rybina Andrei Voronkov
A Decision Procedure for Term Algebras with Queues (LICS 2000) More Information... - Paper: Konstantin Korovin Andrei Voronkov
A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering (LICS 2000) More Information... - Paper: Andrei Voronkov
How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi (LICS 2000) More Information... - Paper: Konstantin Korovin Andrei Voronkov
Orienting Equalities with the Knuth-Bendix Order (LICS 2003) More Information...
Jerome Vouillon
- Paper: Paul-Andre Mellies Jerome Vouillon
Recursive Polymorphic Types and Parametricity in an Operational Framework (LICS 2005) More Information...
G. Voutsadakis
- Short Presentation: A. Pogel G. Voutsadakis M. Gehrke
A Game involving Epistemic Logic and Probability (LICS 2001) More Information...