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  Bitsize reduction of triangular sets in two and three variables  DerouetJourdan, Alexandre  Verification of a brick Wang tiling algorithm  Dundua, Besik  A rewritebased computational model for functional logic programming  F  Fleuriot, Jacques  Compassfree 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 rewritebased computational model for functional logic programming  L  Le Charlier, Baudouin  A Data Structure to Handle Large Sets of Equal Terms  M  Marin, Mircea  A rewritebased 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  Compassfree 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  Bitsize reduction of triangular sets in two and three variables 

