scientific article; zbMATH DE number 1765707

zbMath0988.68557MaRDI QIDQ4539649

Alessandro Armando, Silvio Ranise, Luca Compagna

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830663

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (3)

Constraint contextual rewriting. ⋮ A reconstruction and extension of Maple's assume facility via constraint contextual rewriting ⋮ RDL

Uses Software

• ACL2

This page was built for publication: