default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th SCSS 2016: Tokyo, Japan
- James H. Davenport, Fadoua Ghourabi:
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. EPiC Series in Computing 39, EasyChair 2016 - Kenichi Asai, Yukiyoshi Kameyama:
Automatic Staging via Partial Evaluation Techniques. 1-13 - Pierre Boutry, Gabriel Braun, Julien Narboux:
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. 14-28 - David M. Cerna
, Wolfgang Schreiner, Temur Kutsia:
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. 29-41 - Youyou Cong, Kenichi Asai:
Implementing a stepper using delimited continuations. 42-54 - Seyed H. Haeri, Sibylle Schupp:
Expression Compatibility Problem. 55-67 - Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai:
A Mathematica module for Conformal Geometric Algebra and Origami Folding. 68-80 - Baudouin Le Charlier, Mêton Mêton Atindehou:
A Data Structure to Handle Large Sets of Equal Terms. 81-94 - Mircea Marin, Temur Kutsia, Besik Dundua:
A rewrite-based computational model for functional logic programming. 95-106 - Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet-Jourdan:
Verification of a brick Wang tiling algorithm. 107-116 - Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi:
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. 117-129 - Pascal Mathis, Pascal Schreck:
Determining automatically compass and straightedge unconstructibility in triangles. 130-142 - Phil Scott, Jacques D. Fleuriot:
Compass-free Navigation of Mazes. 143-155 - Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama:
Critical Pair Analysis in Nominal Rewriting. 156-168 - Tetsuro Yamashita, Xavier Dahan:
Bit-size reduction of triangular sets in two and three variables. 169-182
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-27 22:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
