Related Projects

CALCULEMUS

Constraint Contextual Rewriting

Construction of Computational Logics (CCL II)

Open Mechanized Reasoning Systems (OMRS)

PROTHEO

Theory Reasoning in Proof Procedures

Related Fields

Automated Reasoning

Constraints

Description Logics

Formal Methods

Hybrid Logics

Logical Frameworks

Mathematical Logic

Rewriting

Strategies in Automated Deduction