Faster Algorithms for Alternating Refinement Relations

Feasible Proofs of Matrix Properties with Csanky's Algorithm

Feasible reactivity in a synchronous pi-calculus

Feedback control logic synthesis for non safe Petri nets

Finitary Deduction Systems

Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free

Finite Automata Based on Quantum Logic and Their Determinization

Finite countermodels for safety verification of parameterized tree systems

Finite Model Finding for Parameterized Verification

Finite Satisfiability for Guarded Fixpoint Logic

Finite-state concurrent programs can be expressed pairwise

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

First steps towards the certification of an ARM simulator using Compcert

First-Order and Temporal Logics for Nested Words

First-order finite satisfiability vs tree automata in safety verification

First-order Logic as a Constraint Programming Language

First-Order Logic on Higher-Order Nested Pushdown Trees

First-order Logic: Modality and Intensionality

First-order queries on structures of bounded degree are computable with constant delay

First-order query evaluation on structures of bounded degree