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

Relating Weight Constraint and Aggregate Programs: Semantics and Representation

Relational Parametricity and Separation Logic

Relational Syllogistics

Remarks on Jurdzinski and Lorys' proof that palindromes are not a Church-Rosser language

Removal of Quantifiers by Elimination of Boundary Points

Removing Propagation Redundant Constraints in Redundant Modeling

Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning

Replication via Invalidating the Applicability of the Fixed Point Theorem