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

Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog

Proving Termination of Normalization Functions for Conditional Expressions

Proving Termination of Probabilistic Programs Using Patterns