6 citations · 10 across the 4 of their papers we have counts for
4 papers
Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization
Claus-Peter Wirth
We present a combination of raising, explicit variable dependency representation, the liberalized delta-rule, and preservation of solutions for first-order deductive theorem provin…
An Algebraic Dexter-Based Hypertext Reference Model
Volker Mattick, Claus-Peter Wirth
We present the first formal algebraic specification of a hypertext reference model. It is based on the well-known Dexter Hypertext Reference Model and includes modifications with r…
Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems
Claus-Peter Wirth
We study the combination of the following already known ideas for showing confluence of unconditional or conditional term rewriting systems into practically more useful confluence…
Writing Positive/Negative-Conditional Equations Conveniently
Claus-Peter Wirth, Ruediger Lunde
We present a convenient notation for positive/negative-conditional equations. The idea is to merge rules specifying the same function by using case-, if-, match-, and let-expressio…