scientific article; zbMATH DE number 1337860

zbMath0943.68095MaRDI QIDQ4264200

Carlos Castro

Publication date: 16 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constraint satisfaction problemconstraint solvingautomated deduction

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Rewriting logic: Roadmap and bibliography, Rewriting Strategies and Strategic Rewrite Programs, SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets, ELAN from a rewriting logic point of view

Uses Software

• ELAN