Issue 1/2014
Content (4 Articles)
Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
Eugenio G. Omodeo, Alexandru I. Tomescu
Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution
Matthew Gwynne, Oliver Kullmann
The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry
Marta R. Hidalgo, Robert Joan-Arinyo