SCSS 2016:Author Index

AuthorPapers
A
Aoto, TakahitoCritical Pair Analysis in Nominal Rewriting
Asai, KenichiAutomatic Staging via Partial Evaluation Techniques
Implementing a stepper using delimited continuations
Atindehou, Mêton MêtonA Data Structure to Handle Large Sets of Equal Terms
B
Boutry, PierreFrom Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry
Braun, GabrielFrom Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry
C
Cerna, DavidSpace Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors
Cong, YouyouImplementing a stepper using delimited continuations
D
Dahan, XavierBit-size reduction of triangular sets in two and three variables
Derouet-Jourdan, AlexandreVerification of a brick Wang tiling algorithm
Dundua, BesikA rewrite-based computational model for functional logic programming
F
Fleuriot, JacquesCompass-free Navigation of Mazes
G
Goto, MizukiTowards Verified Construction for Planar Class of a Qualitative Spatial Representation
H
Haeri, Seyed HosseinExpression Compatibility Problem
K
Kameyama, YukiyoshiAutomatic Staging via Partial Evaluation Techniques
Kikuchi, KentaroCritical Pair Analysis in Nominal Rewriting
Kondo, MitsuhiroA Mathematica module for Conformal Geometric Algebra and Origami Folding
Kutsia, TemurSpace Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors
A rewrite-based computational model for functional logic programming
L
Le Charlier, BaudouinA Data Structure to Handle Large Sets of Equal Terms
M
Marin, MirceaA rewrite-based computational model for functional logic programming
Mathis, PascalDetermining automatically compass and straightedge unconstructibility in triangles
Matsuo, TakuyaA Mathematica module for Conformal Geometric Algebra and Origami Folding
Matsushima, ToshiakiVerification of a brick Wang tiling algorithm
Mizoguchi, YoshihiroA Mathematica module for Conformal Geometric Algebra and Origami Folding
Verification of a brick Wang tiling algorithm
Moriguchi, SosukeTowards Verified Construction for Planar Class of a Qualitative Spatial Representation
N
Narboux, JulienFrom Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry
O
Ochiai, HiroyukiA Mathematica module for Conformal Geometric Algebra and Origami Folding
S
Schreck, PascalDetermining automatically compass and straightedge unconstructibility in triangles
Schreiner, WolfgangSpace Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors
Schupp, SibylleExpression Compatibility Problem
Scott, PhilCompass-free Navigation of Mazes
Suzuki, TakakiCritical Pair Analysis in Nominal Rewriting
T
Takahashi, KazukoTowards Verified Construction for Planar Class of a Qualitative Spatial Representation
Toyama, YoshihitoCritical Pair Analysis in Nominal Rewriting
Y
Yamashita, TetsuroBit-size reduction of triangular sets in two and three variables