|
|
SCSS 2016: Author IndexAuthor | 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 |
|
|
|