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

Reasoning About Common Knowledge with Infinitely Many Agents

Reasoning About Knowledge of Unawareness

Reasoning About Strategies: On the Model-Checking Problem

Reasoning about transfinite sequences

Reasoning in Abella about Structural Operational Semantics Specifications

Reasoning on Schemata of Formulae

Reasoning with Axioms: Theory and Pratice

Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases

Reasoning with Higher-Order Abstract Syntax in a Logical Framework

Reasoning with Individuals for the Description Logic SHIQ

Recursive Definitions of Monadic Functions

Reducibility of Gene Patterns in Ciliates using the Breakpoint Graph