Home

Fachgebiet__Intellektik


Efficiently deciding intuitionistic propositional logic via translation into classical logic

Modelling theories of actions by Equational Logic Programs

On the Advantage of a Non-Clausal Davis-Putnam Procedure