Reducing Higher Order Pi-Calculus to Spatial Logics

Reduction in X does not agree with Intersection and Union Types (Extended abstract)

Reduction of Many-valued into Two-valued Modal Logics

Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search

Redundancy in Logic III: Non-Mononotonic Reasoning

Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules

Refinement and Verification of Real-Time Systems

Refinement by interpretation in π-institutions

Refinement Modal Logic

Refinement Types as Higher Order Dependency Pairs

Refinement-based verification of sequential implementations of Stateflow charts

Reflexivity and the diagonal argument in proofs of limitative theorems

Reformulation of Global Constraints in Answer Set Programming

Regular Expression Matching and Operational Semantics

Reified unit resolution and the failed literal rule

Relating Church-Style and Curry-Style Subtyping

Relating coalgebraic notions of bisimulation

Relating Nominal and Higher-order Abstract Syntax Specifications

Relating Operator Spaces via Adjunctions

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic