| Home |
| Overview |
| Publications |
| Lectures and Talks |
| Software |
| Related links |
| People |
| Alessandro Armando |
| Silvio Ranise |
| Affiliation |
| AI-LAB |
| DIST |
| Università di Genova |
The Constraint Contextual Rewriting Project |
| The Constraint Contextual Rewriting Project Home Page |
| http://www.ai-lab.it.it/ccr/ |
The Constraint Contextual Rewriting project is concerned with the effective integration of decision procedures within formula simplification.
Keywords: Artificial Intelligence, Automated Reasoning, Simplification, Rewriting, Contextual Rewriting, Conditional Rewriting, Ordered Rewriting, Decision Procedures, Logic Programming, Constraints, Verification System, RDL.
New release of RDL: version 1.1
New Lectures and Talks
Web site index
| Overview | General Introduction to Constraint Contextual Rewriting |
|---|---|
| Publications | Papers (with abstracts) about Constraint Contextual Rewriting |
| Lectures and Talks | Lectures and talks related with Constraint Contextual Rewriting |
| Software | RDL (Rewrite and Decision procedure Laboratory) distribution |
| Related links | Related links (projects, people and other) |
[ Home | Overview | Publications | Lectures and Talks | Software | Related links ]
This web site is maintained by the AI-Lab webmaster.
Last updated: 24-Jan-2001