Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic

Productivity of Non-Orthogonal Term Rewrite Systems

Program schemes with binary write-once arrays and the complexity classes they capture

Programming in Alma-0, or Imperative and Declarative Programming Reconciled

Programming interfaces and basic topology

Proof Nets and the Identity of Proofs

Proof obligations for specification and refinement of liveness properties under weak fairness

Proof Search in Hajek's Basic Logic

Proof Search Specifications of Bisimulation and Modal Logics for the pi-Calculus

Proof Theory at Work: Complexity Analysis of Term Rewrite Systems

Proof-Theoretic Soundness and Completeness

Proposition Algebra with Projective Limits

Propositional computability logic I

Propositional Computability Logic II

Propositional Dynamic Logic for Message-Passing Systems

Propositional equality, identity types, and direct computational paths

Propositional satisfiability in declarative programming

Provably Total Functions of Arithmetic with Basic Terms

Proving Correctness and Completeness of Normal Programs - a Declarative Approach

Proving correctness of Timed Concurrent Constraint Programs