![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
7th 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.