Abstract is missing.
- Automatic Staging via Partial Evaluation TechniquesKenichi Asai, Yukiyoshi Kameyama. 1-13 [doi]
- From Tarski to Descartes: Formalization of the Arithmetization of Euclidean GeometryPierre Boutry, Gabriel Braun, Julien Narboux. 14-28 [doi]
- Space Analysis of a Predicate Logic Fragment for the Specification of Stream MonitorsDavid Cerna, Wolfgang Schreiner, Temur Kutsia. 29-41 [doi]
- Implementing a stepper using delimited continuationsYouyou Cong, Kenichi Asai. 42-54 [doi]
- Expression Compatibility ProblemSeyed H. Haeri, Sibylle Schupp. 55-67 [doi]
- A Mathematica module for Conformal Geometric Algebra and Origami FoldingMitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai. 68-80 [doi]
- A Data Structure to Handle Large Sets of Equal TermsBaudouin Le Charlier, MĂȘton MĂȘton Atindehou. 81-94 [doi]
- A rewrite-based computational model for functional logic programmingMircea Marin, Temur Kutsia, Besik Dundua. 95-106 [doi]
- Verification of a brick Wang tiling algorithmToshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet-Jourdan. 107-116 [doi]
- Towards Verified Construction for Planar Class of a Qualitative Spatial RepresentationSosuke Moriguchi, Mizuki Goto, Kazuko Takahashi. 117-129 [doi]
- Determining automatically compass and straightedge unconstructibility in trianglesPascal Mathis, Pascal Schreck. 130-142 [doi]
- Compass-free Navigation of MazesPhil Scott, Jacques D. Fleuriot. 143-155 [doi]
- Critical Pair Analysis in Nominal RewritingTakaki Suzuki, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama. 156-168 [doi]
- Bit-size reduction of triangular sets in two and three variablesTetsuro Yamashita, Xavier Dahan. 169-182 [doi]