Ramified Structural Recursion and Corecursion

Randomisation and Derandomisation in Descriptive Complexity Theory

Ranking and Unranking of Hereditarily Finite Functions and Permutations

Ranking Functions for Size-Change Termination II

Rational streams coalgebraically

Rational Synthesis

Reachability problems for communicating finite state machines

Reactive Turing Machines

Reactive Valuations

Read Operators and their Expressiveness in Process Algebras

Real Analytic Machines and Degrees

Real Computational Universality: The Word Problem for a class of groups with infinite presentation

Real Hypercomputation and Continuity

Real Islamic Logic

Real-Reward Testing for Probabilistic Processes (Extended Abstract)

Real-time and Probabilistic Temporal Logics: An Overview

Real-Time Model-Checking: Parameters everywhere

Realizability algebras: a program to well order R

Realizing evaluation strategies by hierarchical graph rewriting

Reasoning About a Simulated Printer Case Investigation with Forensic Lucid