A proof system for finite trees

Gespeichert in:
Hauptverfasser:
Blackburn, Patrick, Meyer-Viol, Wilfried, Rijke, Maarten <<de>>
Format:
Buch
Sprache:
Englisch
Veröffentlicht:
Saarbrücken Univ. des Saarlandes, Computerlinguistik 1995
Bestände:
  • Magazin: spr/c0195
Umfang:
19 S.
Schriftenreihe:
Report / Computerlinguistik an der Universität des Saarlandes ; 67