Articles by Author

Author

Bernhard Beckert

University of Karlsruhe
Karlsruhe, Germany

1 article by this author

Sort by:

Proof ...

Research Article

Proof Transformations from Search-Oriented into Interaction-Oriented Tableau Calculi

Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert

10.3217/jucs-005-03-0113

28-03-1999

Unique: 598 | Total: 701

113-134

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics