Logical Methods in Computer Science, Volume 10
Volume 10, Number 1, 2014
: The Size-Change Termination Principle for Constructor Based Languages.
Volume 10, Number 2, 2014
: A Linear Category of Polynomial Functors (extensional part).
Volume 10, Number 3, 2014
: Classical propositional logic and decidability of variables in intuitionistic propositional logic.
: On Ramsey properties of classes with forbidden trees.
: Improving legibility of natural deduction proofs is not trivial.
Volume 10, Number 4, 2014
: Full abstraction for fair testing in CCS (expanded version).
: On the strictness of the quantifier structure hierarchy in first-order logic.
: On the Relation of Interaction Semantics to Continuations and Defunctionalization.
: Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction.
: Global semantic typing for inductive and coinductive computing.
, founded at