Stéphane Kaplan

Suggest Changes
Learn More
The notion of conditional term rep riting systems that allows to simulate theories specified by conditional equatikjns is presented The paper considers general conditional rules, as opposed to(More)