Fixed point theorem and aperiodic tilings

Fixed-parameter complexity of semantics for logic programs

Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs

Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity

Fixpoint 3-valued semantics for autoepistemic logic

Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying

Flat coalgebraic fixed point logics

Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations

Fluid Model Checking

FO(FD): Extending classical logic with rule-based fixpoint definitions

Focalization and phase models for classical extensions of non-associative Lambek calculus

Focusing and Polarization in Intuitionistic Logic

Focusing in Asynchronous Games

Folk Theorems on the Correspondence between State-Based and Event-Based Systems

Formal Analysis of Quantum Systems using Process Calculus

Formal Component-Based Semantics

Formal Concept Analysis and Resolution in Algebraic Domains

Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases

Formal Model Engineering for Embedded Systems Using Real-Time Maude

Formal Proof of a Wave Equation Resolution Scheme: the Method Error