6 citations · 11 across the 5 of their papers we have counts for
5 papers · 1 filter
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…
ASF+ --- eine ASF-aehnliche Spezifikationssprache
Ruediger Lunde, Claus-Peter Wirth
Maintaining the main aspects of the algebraic specification language ASF as presented in [Bergstra&al.89] we have extend ASF with the following concepts: While once exported names…
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…