Predicate Logic with Definitions
Predicate Transformers and Linear Logic, yet another denotational model
Predicate Transformers, (co)Monads and Resolutions
Preferred Answer Sets for Ordered Logic Programs
Presentation of a Game Semantics for First-Order Propositional Logic
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
Probabilistic Abstractions with Arbitrary Domains
Probabilistic bisimilarities between quantum processes
Probabilistic Dynamic Logic of Phenomena and Cognition
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
Probabilistic Logic: Many-valuedness and Intensionality
Probabilistic Model Checking for Propositional Projection Temporal Logic
Probabilistic Model-Based Safety Analysis
Probabilistic Weighted Automata
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications
Proceedings 13th International Workshop on Verification of Infinite-State Systems
Proceedings 16th International Workshop on Expressiveness in Concurrency
Proceedings 17th International Workshop on Expressiveness in Concurrency