A proof system for finite trees

Authors
Publication date 1996
Host editors
  • H. Kleine Büning
Book title Computer science logic: 9th International Workshop, CSL '95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
ISBN
  • 3540613773
  • 9783540613770
Series Lecture notes in computer science, 1092
Pages (from-to) 86-105
Publisher Berlin: Springer
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back