Authors on this page:
- Leszek Pacholski
- Palamidessi, C.
- Catuscia Palamidessi
- Krishna V. Palem
- Erik Palmgren
- Jens Palsberg
- Prakash Panangaden
- Panangaden, P.
- G. Pani
- Christos Papadimitrou
- Jan Paredaens
- Michel Parigot
- Rohit Parikh
- Joachim Parrow
- Dirk Pattinson
- Lawrence C. Paulson
- Dusko Pavlovic
- Doron Peled
- Wojciech Penczek
- M. Pentus
- Mati Pentus
- Fernando C. N. Pereira
- Santiago M. Pericas-Geertsen
- Dominique Perrin
- Kenneth J. Perry
- V. Petersson
- Peuli, A.
- Sylvain Peyronnet
- Pfenning, F.
- Frank Pfenning
- Phoa, W.
- Wesley Phoa
- Reinhard Pichler
- Pierce, B.
- Benjamin Pierce
- Benjamin C. Pierce
- A.-V. Pietarinen
- Pingali, K.
- Adolfo Piperno
- Piperno, A.
- Marco Pistore
- Toniann Pitassi
- Nir Piterman
- Pitt, A.M.
- Pitts, A.M.
- Andrew M. Pitts
- Andrew Pitts
- David A. Plaisted
- Gordon Plotkin
- Plotkin, G.D.
- Plotkin, G.
- G. D. Plotkin
- G.D. Plotkin
- Amir Pnueli
- A. Pnueli
- Pnueli, A.
- Andreas Podelski
- A. Pogel
- Chris Pollett
- François Pottier
- Peter John Potts
- John Power
- Shekhar Pradhan
- Vaughan R. Pratt
- Pratt, V.
- Vaughan Pratt
- Christian Prehofer
- Frédéric Prost
- Laurence Puel
- Rosario Pugliese
- David J. Pym
- David Pym
Leszek Pacholski
- Paper: Leszek Pacholski WiesławSzwast
On the 0-1 law for the class of existential second order minimal Godel sentences with equality (LICS 1991) More Information... - Paper: Witold Charatonik Leszek Pacholski
Negative set constraints with equality (LICS 1994) More Information... - Invited Talk: Leszek Pacholski
Set Constraints (LICS 1997) More Information... - Paper: Leszek Pacholski Wieslaw Szwast Lidia Tendera
Complexity of Two-Variable Logic with Counting (LICS 1997) More Information...
Palamidessi, C.
- Paper: de Boer, F.S. Klop, J.W. Palamidessi, C.
Asynchronous communication in process algebra (LICS 1992) More Information...
Catuscia Palamidessi
- Paper: Moreno Falaschi Maurizio Gabbrielli Kim Marriott Catuscia Palamidessi
Compositional analysis for concurrent constraint programming (LICS 1993) More Information...
Krishna V. Palem
- Paper: Gabriel M. Kuper Ken McAloon Krishna V. Palem Kenneth J. Perry
Efficient parallel algorithms for anti-unification and relative complement (LICS 1988) More Information...
Erik Palmgren
- Paper: Erik Palmgren Viggo Stoltenberg-Hansen
Logically Presented Domains (LICS 1995) More Information...
Jens Palsberg
- Paper: Jens Palsberg
Efficient inference of object types (LICS 1994) More Information... - Paper: Jens Palsberg Tian Zhao
Efficient and Flexible Matching of Recursive Types (LICS 2000) More Information... - Paper: Jens Palsberg Tian Zhao
Efficient Type Inference for Record Concatenation and Subtyping (LICS 2002) More Information...
Prakash Panangaden
- Paper: N. P. Mendler Prakash Panangaden Robert L. Constable
Infinite Objects in Type Theory (LICS 1986) More Information... - Paper: Richard Blute Josee Desharnais Abbas Edalat Prakash Panangaden
Bisimulation for Labelled Markov Processes (LICS 1997) More Information... - Paper: Josee Desharnais Abbas Edalat Prakash Panangaden
A Logical Characterization of Bisimulation for Labeled Markov Processes (LICS 1998) More Information... - Paper: Josée Desharnais Prakash Panangaden Radha Jagadeesan Vineet Gupta
Approximating Labeled Markov Processes (LICS 2000) More Information... - Paper: Josee Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden
The Metric Analogue of Weak Bisimulation for Probabilistic Processes (LICS 2002) More Information...
Panangaden, P.
- Paper: Jagadeesan, R. Panangaden, P. Pingali, K.
A fully abstract semantics for a functional language with logic variables (LICS 1989) More Information...
G. Pani
- Short Presentation: E. Covino G. Pani
Recursive Programming Languages for Complexity Classes (LICS 2001) More Information... - Short Presentation: E. Covino G. Pani
Time-Space Computational Complexity of Imperative Programming Languages (LICS 2002) More Information...
Christos Papadimitrou
- Paper: Serge Abiteboul Christos Papadimitrou Victor Vianu
The power of reflective relational machines (LICS 1994) More Information...
Jan Paredaens
- Paper: Jan Paredaens Jan Van den Bussche Dirk Van Gucht
First-Order Queries on Finite Structures Over the Reals (LICS 1995) More Information...
Michel Parigot
- Paper: Michel Parigot
Strong normalization for second order classical natural deduction (LICS 1993) More Information...
Rohit Parikh
- Paper: Rohit Parikh
Levels of Knowledge in Distributed Computing (LICS 1986) More Information...
Joachim Parrow
- Paper: Joachim Parrow Björn Victor
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (LICS 1998) More Information... - Paper: Michael Baldamus Joachim Parrow Victor Victor
Spi Calculus Translated to π--Calculus Preserving May-Tests (LICS 2004) More Information...
Dirk Pattinson
- Paper: Abbas Edalat Dirk Pattinson
Inverse and Implicit Functions in Domain Theory (LICS 2005) More Information...
Lawrence C. Paulson
- Invited Talk: Lawrence C. Paulson
Proving Security Protocols Correct (LICS 1999) More Information...
Dusko Pavlovic
- Paper: Dusko Pavlovic Martín Hötzel Escardó
Calculus in Coinductive Form (LICS 1998) More Information...
Doron Peled
- Paper: Doron Peled Shmuel Katz Amir Pnueli
Specifying and proving serializability in temporal logic (LICS 1991) More Information... - Paper: Rajeev Alur Doron Peled Wojciech Penczek
Model-Checking of causality properties (LICS 1995) More Information... - Paper: Rajeev Alur Ken McMillan Doron Peled
Model-checking of correctness conditions for concurrent objects (LICS 1996) More Information...
Wojciech Penczek
- Paper: Rajeev Alur Doron Peled Wojciech Penczek
Model-Checking of causality properties (LICS 1995) More Information...
M. Pentus
- Paper: M. Pentus
Lambek grammars are context free (LICS 1993) More Information...
Mati Pentus
- Paper: Mati Pentus
Language completeness of the Lambek calculus (LICS 1994) More Information...
Fernando C. N. Pereira
- Paper: Luís Monteiro Fernando C. N. Pereira
A Sheaf-Theoretic Model of Concurrency (LICS 1986) More Information...
Santiago M. Pericas-Geertsen
- Paper: Assaf J. Kfoury Santiago M. Pericas-Geertsen
Type Inference for Recursive Definitions (LICS 1999) More Information...
Dominique Perrin
- Paper: Dominique Perrin Paul E. Schupp
Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories (LICS 1986) More Information...
Kenneth J. Perry
- Paper: Gabriel M. Kuper Ken McAloon Krishna V. Palem Kenneth J. Perry
Efficient parallel algorithms for anti-unification and relative complement (LICS 1988) More Information...
V. Petersson
- Short Presentation: V. Petersson S. Vorobyov
Interior-Point Approach to Parity Games (LICS 2001) More Information...
Peuli, A.
- Paper: Peuli, A. Zuck, L.
In and out of temporal logic (LICS 1993) More Information...
Sylvain Peyronnet
- Paper: Sophie Laplante Richard Lassaigne Frederic Magniez Sylvain Peyronnet Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing (LICS 2002) More Information...
Pfenning, F.
- Paper: Pfenning, F.
Elf: a language for logic definition and verified metaprogramming (LICS 1989) More Information... - Paper: Hannan, J. Pfenning, F.
Compiler verification in LF (LICS 1992) More Information...
Frank Pfenning
- Paper: Frank Pfenning
Unification and anti-unification in the calculus of constructions (LICS 1991) More Information... - Paper: Paliath Narendran Frank Pfenning Richard Statman
On the unification problem for Cartesian closed categories (LICS 1993) More Information... - Paper: Frank Pfenning
Structural Cut Elimination (LICS 1995) More Information... - Paper: Iliano Cervesato Frank Pfenning
A Linear Logical Framework (LICS 1996) More Information... - Paper: Iliano. Cervesato Frank Pfenning
Linear higher-order pre-unification (LICS 1997) More Information... - Paper: Frank Pfenning
Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory (LICS 2001) More Information... - Paper: Tom Murphy VII Karl Crary Robert Harper Frank Pfenning
A Symmetric Modal Lambda Calculus for Distributed Computing (LICS 2004) More Information...
Phoa, W.
- Paper: Phoa, W.
Effective domains and intrinsic structure (LICS 1990) More Information...
Wesley Phoa
- Paper: Wesley Phoa
Adequacy for untyped translations of typed λ-calculi (LICS 1993) More Information...
Reinhard Pichler
- Paper: Georg Gottlob Reinhard Pichler
Working with Arms: Complexity Results on Atomic Representations of Herbrand Models (LICS 1999) More Information...
Pierce, B.
- Paper: Abadi, M. Pierce, B. Plotkin, G.
Faithful ideal models for recursive polymorphic types (LICS 1989) More Information...
Benjamin Pierce
- Paper: Benjamin Pierce Davide Sangiorgi
Typing and subtyping for mobile processes (LICS 1993) More Information...
Benjamin C. Pierce
- Invited Talk: Benjamin C. Pierce
Types and Programming Languages: The Next Generation (LICS 2003) More Information...
A.-V. Pietarinen
- Short Presentation: A.-V. Pietarinen
Epistemic Logics of Imperfect Information for Multi-agent Communication (LICS 2004) More Information...
Pingali, K.
- Paper: Jagadeesan, R. Panangaden, P. Pingali, K.
A fully abstract semantics for a functional language with logic variables (LICS 1989) More Information...
Adolfo Piperno
- Paper: Corrado Böhm Adolfo Piperno
Characterizing X-separability and one-side invertibility in λ-β-Θ-calculus (LICS 1988) More Information... - Paper: Adolfo Piperno Simona Ronchi della Rocca
Type inference and extensionality (LICS 1994) More Information... - Paper: Adolfo Piperno
Normalization and Extensionality (LICS 1995) More Information... - Paper: Antonio Bucciarelli Silvia de Lorenzis Adolfo Piperno Ivano Salvo
Some Computational Properties of Intersection Types (LICS 1999) More Information...
Piperno, A.
- Paper: de'Liguoro, U. Piperno, A. Statman, R.
Retracts in simply type λβη-calculus (LICS 1992) More Information...
Marco Pistore
- Paper: Marco Pistore Moshe Y. Vardi
The Planning Spectrum - One, Two, Three, Infinity (LICS 2003) More Information...
Toniann Pitassi
- Paper: Paul Beame Toniann Pitassi
An exponential separation between the matching principle and the pigeonhole principle (LICS 1993) More Information... - Paper: Russell Impagliazzo Toniann Pitassi Alasdair Urquhart
Upper and lower bounds for tree-like cutting planes proofs (LICS 1994) More Information... - Paper: Joshua Buresh-Oppenheim Toniann Pitassi
The Complexity of Resolution Refinements (LICS 2003) More Information...
Nir Piterman
- Paper: Nir Piterman Moshe Y. Vardi
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems (LICS 2003) More Information...
Pitt, A.M.
- Paper: Pitt, A.M.
Non trivial power types can't be subtypes of polymorphic types (LICS 1989) More Information...
Pitts, A.M.
- Paper: Crole, R.L. Pitts, A.M.
New foundations for fixpoint computations (LICS 1990) More Information...
Andrew M. Pitts
- Paper: Andrew M. Pitts
Relational properties of recursively defined domains (LICS 1993) More Information... - Invited Talk: Andrew M. Pitts
Bisimulation and Co-induction (Tutorial) (LICS 1993) More Information... - Paper: Andrew M. Pitts
Reasoning about local variables with operationally-based logical relations (LICS 1996) More Information...
Andrew Pitts
- Paper: Murdoch Gabbay Andrew Pitts
A New Approach to Abstract Syntax Involving Binders (LICS 1999) More Information...
David A. Plaisted
- Paper: David A. Plaisted
The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations (LICS 1986) More Information... - Paper: Jean H. Gallier Wayne Snyder Paliath Narendran David A. Plaisted
Rigid E-unification is NP-complete (LICS 1988) More Information...
Gordon Plotkin
- Paper: Robert Harper Furio Honsell Gordon Plotkin
A Framework for Defining Logics (LICS 1987) More Information... - Paper: Gordon Plotkin Martin Abadi Luca Cardelli
Subtyping and parametricity (LICS 1994) More Information... - Paper: Marcelo Fiore Gordon Plotkin
An axiomatisation of computationally adequate domain theoretic models of FPC (LICS 1994) More Information... - Paper: Marcelo Fiore Gordon Plotkin John Power
Complete Cuboidal Sets in Axiomatic Domain Theory (LICS 1997) More Information... - Paper: Daniele Turi Gordon Plotkin
Towards a Mathematical Operational Semantics (LICS 1997) More Information... - Paper: Marcelo Fiore Gordon Plotkin Daniele Turi
Abstract Syntax and Variable Binding (LICS 1999) More Information... - Paper: Harish Devarajan Dominic Hughes Vaughan Pratt Gordon Plotkin
Full Completeness of the Multiplicative Linear Logic of Chu Spaces (LICS 1999) More Information... - Paper: Alex Simpson Gordon Plotkin
Complete Axioms for Categorical Fixed-Point Operators (LICS 2000) More Information...
Plotkin, G.D.
- Paper: Jones, C. Plotkin, G.D.
A probabilistic powerdomain of evaluations (LICS 1989) More Information... - Paper: Abadi, M. Plotkin, G.D.
A PER model of polymorphism and recursive types (LICS 1990) More Information...
Plotkin, G.
- Paper: Abadi, M. Pierce, B. Plotkin, G.
Faithful ideal models for recursive polymorphic types (LICS 1989) More Information...
G. D. Plotkin
- Invited Talk: G. D. Plotkin
Type theory and recursion (LICS 1993) More Information...
G.D. Plotkin
- Paper: R.J. Van Glabbeek G.D. Plotkin
Configuration Structures (LICS 1995) More Information...
Amir Pnueli
- Paper: Roni Rosner Amir Pnueli
A Choppy Logic (LICS 1986) More Information... - Paper: Amir Pnueli Lenore D. Zuck
Probabilistic Verification by Tableaux (LICS 1986) More Information... - Paper: Doron Peled Shmuel Katz Amir Pnueli
Specifying and proving serializability in temporal logic (LICS 1991) More Information... - Paper: Edward Chang Zohar Manna Amir Pnueli
Compositional verification of real-time systems (LICS 1994) More Information... - Invited Talk: Yonit Kesten Amir Pnueli
A Complete Proof Systems for QPTL (LICS 1995) More Information... - Paper: Orna Kupferman Amir Pnueli
Once and For All (LICS 1995) More Information...
A. Pnueli
- Paper: D. Harel A. Pnueli J. P. Schmidt R. Sherman
On the Formal Semantics of Statecharts (Extended Abstract) (LICS 1987) More Information...
Pnueli, A.
- Paper: Harel, E. Lichtenstein, O. Pnueli, A.
Explicit clock temporal logic (LICS 1990) More Information...
Andreas Podelski
- Paper: Witold Charatonik Andreas Podelski
Set constraints with intersection (LICS 1997) More Information... - Paper: Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz
The Horn Mu-calculus (LICS 1998) More Information... - Paper: Andreas Podelski Andrey Rybalchenko
Transition Invariants (LICS 2004) More Information...
A. Pogel
- Short Presentation: A. Pogel G. Voutsadakis M. Gehrke
A Game involving Epistemic Logic and Probability (LICS 2001) More Information...
Chris Pollett
- Paper: Jan Johannsen Chris Pollett
On Proofs about Threshold Circuits and Counting Hierarchies (LICS 1998) More Information...
François Pottier
- Paper: François Pottier
A Constraint-Based Presentation and Generalization of Rows (LICS 2003) More Information...
Peter John Potts
- Paper: Peter John Potts Abbas Edalat Martin Escardo
Semantics of Exact Real Arithmetic (LICS 1997) More Information...
John Power
- Paper: Alex Mifsud Robin Milner John Power
Control Structures (LICS 1995) More Information... - Paper: Marcelo Fiore Gordon Plotkin John Power
Complete Cuboidal Sets in Axiomatic Domain Theory (LICS 1997) More Information... - Paper: Claudio Hermida Michael Makkai John Power
Higher Dimensional Multigraphs (LICS 1998) More Information... - Paper: Peter Johnstone John Power Toru Tsujishita Hiroshi Watanabe James Worrell
An Axiomatics for Categories of Transition Systems as Coalgebras (LICS 1998) More Information...
Shekhar Pradhan
- Paper: Shekhar Pradhan
Semantics of Normal Logic Programs and Contested Information (LICS 1996) More Information...
Vaughan R. Pratt
- Paper: Haim Gaifman Vaughan R. Pratt
Partial Order Models of Concurrency and the Computation of Functions (LICS 1987) More Information... - Paper: Vaughan R. Pratt
The Stone Gamut: A Coordinatization of Mathematics (LICS 1995) More Information...
Pratt, V.
- Invited Talk: Pratt, V.
Origins of the calculus of binary relations (LICS 1992) More Information...
Vaughan Pratt
- Paper: Harish Devarajan Dominic Hughes Vaughan Pratt Gordon Plotkin
Full Completeness of the Multiplicative Linear Logic of Chu Spaces (LICS 1999) More Information...
Christian Prehofer
- Paper: Christian Prehofer
Higher-order narrowing (LICS 1994) More Information...
Frédéric Prost
- Paper: Frédéric Prost
A Static Calculus of Dependencies for the -Cube (LICS 2000) More Information...
Laurence Puel
- Paper: Val Breazu-Tannen Delia Kesner Laurence Puel
A typed pattern calculus (LICS 1993) More Information...
Rosario Pugliese
- Paper: Michele Boreale Rocco de Nicola Rosario Pugliese
Proof Techniques for Cryptographic Processes (LICS 1999) More Information...
David J. Pym
- Paper: David J. Pym
On Bunched Predicate Logic (LICS 1999) More Information...
David Pym
- Paper: Carsten Fuhrmann David Pym
On the Geometry of Interaction for Classical Logic (LICS 2004) More Information...