IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Gopalan Nadathur
• Rajagopal Nagarajan
• Sumit Nain
• Hiroshi Nakano
• Kedar S. Namjoshi
• Paliath Narendran
• Vaidhyanathan Natarajan
• David A. Naumann
• Pavel Naumov
• George C. Necula
• Roger M. Needham
• Shiva Nejati
• Anil Nerode
• Frank Neven
• Phuong Nguyen
• Zhaozhong Ni
• Xavier Nicollin
• Joachim Niehren
• Mogens Nielson
• Hannu Niemistö
• André Nies
• Robert Nieuwenhuis
• Tobias Nipkow
• Damian Niwinski
• Gustav Nordh
• Juha Nurmonen
• Mikkel Nygaard
• Aletta Nylén

Gopalan Nadathur

• Paper: Dale A. Miller Gopalan Nadathur Andre Scedrov
  Hereditary Harrop Formulas and Uniform Proof Systems (LICS 1987) More Information...
• Paper: Gopalan Nadathur Donald W. Loveland
  Uniform proofs and disjunctive logic programming (LICS 1995) More Information...
• Paper: Andrew Gacek Dale A. Miller Gopalan Nadathur
  Combining Generic Judgments with Recursive Definitions (LICS 2008) More Information...

Rajagopal Nagarajan

• Paper: Simon J. Gay Rajagopal Nagarajan
  A Typed Calculus of Synchronous Processes (LICS 1995) More Information...

Sumit Nain

• Paper: Sumit Nain Moshe Y. Vardi
  Trace Semantics Is Fully Abstract (LICS 2009) More Information...

Hiroshi Nakano

• Paper: Hiroshi Nakano
  A constructive formalization of the catch and throw mechanism (LICS 1992) More Information...
• 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: Deepak Kapur Paliath Narendran
  Double-exponential complexity of computing a complete set of AC-unifiers (LICS 1992) 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-Lundh Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
  Decision Problems in Ordered Rewriting (LICS 1998) More Information...

Vaidhyanathan Natarajan

• Paper: Vaidhyanathan Natarajan Rance Cleaveland
  An Algebraic Theory of Process Efficiency (LICS 1996) More Information...

David A. Naumann

• Paper: David A. Naumann Michael 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 Paper: 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 Paper: Anil Nerode
  A Logician Looks at Expert Systems: Areas for Mathematical Research (LICS 1986) More Information...
• Paper: Anil Nerode Jeffrey B. Remmel Andre Scedrov
  Polynomially graded logic I. A graded version of system T (LICS 1989) More Information...
• Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
  A theory of nonmonotonic rule systems (LICS 1990) More Information...
• Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
  Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (LICS 1995) More Information...
• Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
  On the Complexity of Abduction (LICS 1996) 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 A. Cook
  VTC⁰: A Second-Order Theory for TC⁰ (LICS 2004) More Information...
• Paper: Phuong Nguyen
  Separating DAG-Like and Tree-Like Proof Systems (LICS 2007) More Information...
• Paper: Phuong Nguyen Stephen A. Cook
  The Complexity of Proving the Discrete Jordan Curve Theorem (LICS 2007) 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...

Xavier Nicollin

• Paper: Thomas A. Henzinger Xavier Nicollin Joseph Sifakis Sergio Yovine
  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 Niemistö

• Paper: Hannu Niemistö
  On Locality and Uniform Reduction (LICS 2005) More Information...

André Nies

• Paper: Bakhadyr Khoussainov André Nies Sasha Rubin Frank Stephan
  Automatic Structures: Richness and Limitations (LICS 2004) More Information...
• Paper: Greg Hjorth Bakhadyr Khoussainov Antonio Montalbán André Nies
  From Automatic Structures to Borel Structures (LICS 2008) More Information...

Robert Nieuwenhuis

• Paper: Hubert Comon-Lundh Robert Nieuwenhuis Albert Rubio
  Orderings, AC-theories and Symbolic Constraint Solving (LICS 1995) More Information...
• Paper: Robert Nieuwenhuis
  Basic Paramodulation and Decidable Theories (LICS 1996) More Information...
• Paper: Hubert Comon-Lundh 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...

Tobias Nipkow

• Paper: Tobias Nipkow
  Proof transformations for equational theories (LICS 1990) More Information...
• Paper: Tobias Nipkow
  Higher-order critical pairs (LICS 1991) More Information...
• Paper: Tobias Nipkow
  Functional unification of higher-order patterns (LICS 1993) More Information...

Damian Niwinski

• Paper: Damian Niwinski
  Fixed points vs. infinite generation (LICS 1988) More Information...
• Paper: Damian Niwinski Alexei P. Stolboushkin
  y=2x vs. y=3x (LICS 1993) More Information...
• Paper: Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz
  The Horn Mu-calculus (LICS 1998) More Information...

Gustav Nordh

• Paper: Gustav Nordh Peter Jonsson
  An Algebraic Approach to the Complexity of Propositional Circumscription (LICS 2004) More Information...
• Paper: Arnaud Durand Miki Hermann Gustav Nordh
  Trichotomy in the Complexity of Minimal Inference (LICS 2009) 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

• Paper: Mikkel Nygaard Glynn Winskel
  Linearity in Process Languages (LICS 2002) More Information...

Aletta Nylén

• Paper: Parosh A. Abdulla Aletta Nylén
  Better is Better than Well: On Efficient Verification of Infinite-State Systems (LICS 2000) More Information...