Practical Reasoning for Very Expressive Description Logics

Precongruence Formats for Decorated Trace Semantics

Predicate Abstraction with Indexed Predicates

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