Media type: Book Title: Efficient interpolation for the intuitionistic sequent calculus Contributor: Goerdt, Andreas [Author] Published: Chemnitz; Zwickau: Techn. Univ., Fak. für Informatik, 2000 Published in: Chemnitzer Informatik-Berichte ; 2000,02 Extent: 10 S. Language: English Keywords: Forschungsbericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 2001 8 017875 001 Item ID: 32916718 Status: Place order for use in library, no dispatch by interlibrary loan; delivery of photocopies possible > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order