Extensional Collapse Situations I: non-termination and unrecoverable errors

Extensional Uniformity for Boolean Circuits

Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic<br> Semantics

Extremal problems in logic programming and stable model computation

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