Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Author
Wolfgang Ahrendt
Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe
Karlsruhe, Germany
2 articles by this author
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
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: 508 | Total: 581
| Access Period:
113-134
HTML
XML
PDF
Research Article
Reasoning about Abstract State Machines: The WAM Case Study
Gerhard Schellhorn
,
Wolfgang Ahrendt
10.3217/jucs-003-04-0377
28-04-1997
Unique: 460 | Total: 604
| Access Period:
377-413
HTML
XML
PDF
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK