✦ LIBER ✦

Constraint design rewriting

✍ Scribed by Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo

Book ID: 122300930
Publisher: Elsevier Science
Year: 2015
Tongue: English
Weight: 431 KB
Volume: 97
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.11.015

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constraint contextual rewriting

✍ Alessandro Armando; Silvio Ranise 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 359 KB

The effective integration of decision procedures in formula simplification is a fundamental problem in mechanical verification. In this paper we address the problem by proposing a general pattern of interaction between rewriting and decision procedures and by providing an account of such a pattern o

Rewrite Systems with Constraints

✍ Jan Strejček 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 375 KB

Computational Origami Construction as Co

Computational Origami Construction as Constraint Solving and Rewriting

✍ Tetsuo Ida; Mircea Marin; Hidekazu Takahashi; Fadoua Ghoura 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 466 KB

Constraint-preserving architecture trans

Constraint-preserving architecture transformations: A graph rewriting approach

✍ Chun Yuan; Yiun Chen 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 407 KB

Hierarchical Design Rewriting with Maude

✍ Roberto Bruni; Alberto Lluch Lafuente; Ugo Montanari 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 853 KB

Completion of Rewrite Systems with Membe

Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving

✍ H. Comon 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 699 KB