Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Bernhard Beckert
University of Karlsruhe, Germany

G. Stenz, W. Ahrendt, B. Beckert:
Proof Transformations from Search-Oriented into Interaction-Oriented Tableau Calculi
/jucs_5_3/proof_transformations_from_search
page 113 - 134
Vol.5 / Issue 3