Functional Answer Set Programming

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code

Functional Interpretations of Intuitionistic Linear Logic

Functions as proofs as processes

Functions Definable by Numerical Set-Expressions

Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models

Fuzziness versus probability again

Fuzzy Discrete Event Systems under Fuzzy Observability and a test-algorithm

Fuzzy Linguistic Logic Programming and its Applications

Fuzzy Ontology Representation using OWL 2

Fuzzy Time in LTL

Fuzzy Topological Systems

Game Refinement Relations and Metrics

Game semantics for first-order logic

General Ramified Recurrence is Sound for Polynomial Time

General Recursion and Formal Topology

General Recursion via Coinductive Types

Generalised Rabin(1) synthesis

Generalization Strategies for the Verification of Infinite State Systems

Generalized Mean-payoff and Energy Games