Computational Origami Construction as Constraint Solving and Rewriting
From MaRDI portal
Publication:5403476
DOI10.1016/j.entcs.2008.06.032zbMath1283.68184OpenAlexW2026931905MaRDI QIDQ5403476
Hidekazu Takahashi, Mircea Marin, Tetsuo Ida, Fadoua Ghoura
Publication date: 26 March 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.06.032
rewritingautomated theorem provingconstraint solvingcomputational origamifunctional logic programming
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Related Items
Uses Software
Cites Work
This page was built for publication: Computational Origami Construction as Constraint Solving and Rewriting