Authors on this page:
- Gopalan Nadathur
- G. Nadathur
- Rajagopal Nagarajan
- Nakano, H.
- Hiroshi Nakano
- Kedar S. Namjoshi
- Paliath Narendran
- Narendran, P.
- V. Natarajan
- David A. Naumann
- Pavel Naumov
- George C. Necula
- Roger M. Needham
- Shiva Nejati
- Anil Nerode
- Nerode, A.
- A. Nerode
- Frank Neven
- Phuong Nguyen
- Zhaozhong Ni
- Rocco de Nicola
- Nicollin, X.
- Joachim Niehren
- Mogens Nielson
- Hannu Niemisto
- Andre Nies
- R. Nieuwenhuis
- Robert Nieuwenhuis
- Nipkow, T.
- Tobias Nipkow
- H. de Nivelle
- Damian Niwinski
- Damien Niwinski
- Gustav Nordh
- Juha Nurmonen
- Mikkel Nygaard Hansen
- Aletta Nylén
Gopalan Nadathur
- Paper: Dale Miller Gopalan Nadathur Andre Scedrov
Hereditary Harrop Formulas and Uniform Proof Systems (LICS 1987) More Information...
G. Nadathur
- Paper: G. Nadathur D.W. Loveland
Uniform proofs and disjunctive logic programming (LICS 1995) More Information...
Rajagopal Nagarajan
- Paper: Simon Gay Rajagopal Nagarajan
A Typed Calculus of Synchronous Processes (LICS 1995) More Information...
Nakano, H.
- Paper: Nakano, H.
A constructive formalization of the catch and throw mechanism (LICS 1992) More Information...
Hiroshi Nakano
- Paper: Hiroshi Nakano
A Modality for Recursion (LICS 2000) More Information...
Kedar S. Namjoshi
- Paper: E. Allen Emerson Kedar S. Namjoshi
On Model Checking for Non-Deterministic Infinite-State Systems (LICS 1998) More Information... - Paper: Dennis Dams Kedar S. Namjoshi
The Existence of Finite Abstractions for Branching Time Model Checking (LICS 2004) More Information...
Paliath Narendran
- Paper: Jean H. Gallier Wayne Snyder Paliath Narendran David A. Plaisted
Rigid E-unification is NP-complete (LICS 1988) More Information... - Paper: Paliath Narendran Michaël Rusinowitch
The unifiability problem in ground AC theories (LICS 1993) More Information... - Paper: Paliath Narendran Frank Pfenning Richard Statman
On the unification problem for Cartesian closed categories (LICS 1993) More Information... - Paper: Paliath Narendran
Solving linear equations over polynomial semirings (LICS 1996) More Information... - Paper: Hubert Comon Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
Decision Problems in Ordered Rewriting (LICS 1998) More Information...
Narendran, P.
- Paper: Kapur, D. Narendran, P.
Double-exponential complexity of computing a complete set of AC-unifiers (LICS 1992) More Information...
V. Natarajan
- Paper: V. Natarajan Rance Cleaveland
An Algebraic Theory of Process Efficiency (LICS 1996) More Information...
David A. Naumann
- Paper: David A. Naumann Mike Barnett
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (LICS 2004) More Information...
Pavel Naumov
- Short Presentation: Pavel Naumov
Logic of Subtyping (LICS 2003) More Information...
George C. Necula
- Paper: George C. Necula Peter Lee
Efficient Representation and Validation of Proofs (LICS 1998) More Information... - Paper: George C. Necula Robert R. Schneck
A Sound Framework for Untrusted Verification-Condition Generators (LICS 2003) More Information...
Roger M. Needham
- Invited Talk: Roger M. Needham
Logic and Over-Simplification (LICS 1998) More Information...
Shiva Nejati
- Short Presentation: Shiva Nejati Arie Gurfinkel
Stuttering Refinement on Partial Systems (LICS 2003) More Information...
Anil Nerode
- Invited Talk: Anil Nerode
A Logician Looks at Expert Systems: Areas for Mathematical Research (LICS 1986) More Information... - Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
On the Complexity of Abduction (LICS 1996) More Information...
Nerode, A.
- Paper: Nerode, A. Remmel, J.B. Scedrov, A.
Polynomially graded logic I. A graded version of system T (LICS 1989) More Information... - Paper: Marek, W. Nerode, A. Remmel, J.
A theory of nonmonotonic rule systems (LICS 1990) More Information...
A. Nerode
- Paper: V. W. Marek A. Nerode J.B. Remmel
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (LICS 1995) More Information...
Frank Neven
- Paper: Noga Alon Tova Milo Frank Neven Dan Suciu Victor Vianu
Typechecking XML Views of Relational Databases (LICS 2001) More Information... - Paper: Leonid Libkin Frank Neven
Logical Definability and Query Languages over Unranked Trees (LICS 2003) More Information...
Phuong Nguyen
- Paper: Phuong Nguyen Stephen Cook
VTC⁰: A Second-Order Theory for TC⁰ (LICS 2004) More Information...
Zhaozhong Ni
- Paper: Nadeem A. Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code (LICS 2002) More Information...
Rocco de Nicola
- Paper: Michele Boreale Rocco de Nicola Rosario Pugliese
Proof Techniques for Cryptographic Processes (LICS 1999) More Information...
Nicollin, X.
- Paper: Henzinger, T.A. Nicollin, X. Sifakis, J. Yovine, S.
Symbolic model checking for real-time systems (LICS 1992) More Information...
Joachim Niehren
- Paper: Martin Müller Joachim Niehren Ralf Treinen
The First-Order Theory of Ordering Constraints over Feature Trees (LICS 1998) More Information... - Paper: Joachim Niehren Martin Müller Jean-Marc Talbot
Entailment of Atomic Set Constraints is PSPACE-Complete (LICS 1999) More Information...
Mogens Nielson
- Paper: André Joyal Mogens Nielson Glynn Winskel
Bisimulation and open maps (LICS 1993) More Information...
Hannu Niemisto
- Paper: Hannu Niemisto
On Locality and Uniform Reduction (LICS 2005) More Information...
Andre Nies
- Paper: Bakhadyr Khoussainov Andre Nies Sasha Rubin Frank Stephan
Automatic Structures: Richness and Limitations (LICS 2004) More Information...
R. Nieuwenhuis
- Paper: H. Comon R. Nieuwenhuis A. Rubio
Orderings, AC-theories and Symbolic Constraint Solving (LICS 1995) More Information...
Robert Nieuwenhuis
- Paper: Robert Nieuwenhuis
Basic Paramodulation and Decidable Theories (LICS 1996) More Information... - Paper: Hubert Comon Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
Decision Problems in Ordered Rewriting (LICS 1998) More Information... - Paper: Miquel Bofill Guillem Godoy Robert Nieuwenhuis Albert Rubio
Paramodulation with Non-Monotonic Orderings (LICS 1999) More Information... - Paper: Guillem Godoy Robert Nieuwenhuis
Paramodulation with Built-In Abelian Groups (LICS 2000) More Information... - Paper: Guillem Godoy Robert Nieuwenhuis
On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups (LICS 2001) More Information...
Nipkow, T.
- Paper: Nipkow, T.
Proof transformations for equational theories (LICS 1990) More Information...
Tobias Nipkow
- Paper: Tobias Nipkow
Higher-order critical pairs (LICS 1991) More Information... - Paper: Tobias Nipkow
Functional unification of higher-order patterns (LICS 1993) More Information...
H. de Nivelle
- Paper: H. Ganzinger H. de Nivelle
A Superposition Decision Procedure for the Guarded Fragment with Equality (LICS 1999) More Information...
Damian Niwinski
- Paper: Damian Niwinski
Fixed points vs. infinite generation (LICS 1988) More Information... - Paper: Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz
The Horn Mu-calculus (LICS 1998) More Information...
Damien Niwinski
- Paper: Damien Niwinski Alexei Stolboushkin
y=2x vs. y=3x (LICS 1993) More Information...
Gustav Nordh
- Paper: Gustav Nordh Peter Jonsson
An Algebraic Approach to the Complexity of Propositional Circumscription (LICS 2004) More Information...
Juha Nurmonen
- Paper: Juha Nurmonen
Counting Modulo Quantifiers on Finite Linearly Ordered Trees (LICS 1996) More Information... - Paper: Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong
Logics with Aggregate Operators (LICS 1999) More Information...
Mikkel Nygaard Hansen
- Paper: Mikkel Nygaard Hansen Glynn Winskel
Linearity in Distributed Computation (LICS 2002) More Information...
Aletta Nylén
- Paper: Parosh Aziz Abdulla Aletta Nylén
Better is Better than Well: On Efficient Verification of Infinite-State Systems (LICS 2000) More Information...