|
|
SCSS 2016: Author Index| Author | Papers |
|---|
| A | | Aoto, Takahito | Critical Pair Analysis in Nominal Rewriting | | Asai, Kenichi | Automatic Staging via Partial Evaluation Techniques
Implementing a stepper using delimited continuations | | Atindehou, Mêton Mêton | A Data Structure to Handle Large Sets of Equal Terms | | B | | Boutry, Pierre | From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry | | Braun, Gabriel | From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry | | C | | Cerna, David | Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors | | Cong, Youyou | Implementing a stepper using delimited continuations | | D | | Dahan, Xavier | Bit-size reduction of triangular sets in two and three variables | | Derouet-Jourdan, Alexandre | Verification of a brick Wang tiling algorithm | | Dundua, Besik | A rewrite-based computational model for functional logic programming | | F | | Fleuriot, Jacques | Compass-free Navigation of Mazes | | G | | Goto, Mizuki | Towards Verified Construction for Planar Class of a Qualitative Spatial Representation | | H | | Haeri, Seyed Hossein | Expression Compatibility Problem | | K | | Kameyama, Yukiyoshi | Automatic Staging via Partial Evaluation Techniques | | Kikuchi, Kentaro | Critical Pair Analysis in Nominal Rewriting | | Kondo, Mitsuhiro | A Mathematica module for Conformal Geometric Algebra and Origami Folding | | Kutsia, Temur | Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors
A rewrite-based computational model for functional logic programming | | L | | Le Charlier, Baudouin | A Data Structure to Handle Large Sets of Equal Terms | | M | | Marin, Mircea | A rewrite-based computational model for functional logic programming | | Mathis, Pascal | Determining automatically compass and straightedge unconstructibility in triangles | | Matsuo, Takuya | A Mathematica module for Conformal Geometric Algebra and Origami Folding | | Matsushima, Toshiaki | Verification of a brick Wang tiling algorithm | | Mizoguchi, Yoshihiro | A Mathematica module for Conformal Geometric Algebra and Origami Folding
Verification of a brick Wang tiling algorithm | | Moriguchi, Sosuke | Towards Verified Construction for Planar Class of a Qualitative Spatial Representation | | N | | Narboux, Julien | From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry | | O | | Ochiai, Hiroyuki | A Mathematica module for Conformal Geometric Algebra and Origami Folding | | S | | Schreck, Pascal | Determining automatically compass and straightedge unconstructibility in triangles | | Schreiner, Wolfgang | Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors | | Schupp, Sibylle | Expression Compatibility Problem | | Scott, Phil | Compass-free Navigation of Mazes | | Suzuki, Takaki | Critical Pair Analysis in Nominal Rewriting | | T | | Takahashi, Kazuko | Towards Verified Construction for Planar Class of a Qualitative Spatial Representation | | Toyama, Yoshihito | Critical Pair Analysis in Nominal Rewriting | | Y | | Yamashita, Tetsuro | Bit-size reduction of triangular sets in two and three variables |
|
|
|
