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