Canonization for two variables and puzzles on the square
Amsterdam / Elsevier (1997) [Fachzeitschriftenartikel]
Annals of pure and applied logic
Band: 85
Ausgabe: 3
Seite(n): 243-282
Autorinnen und Autoren
Autorinnen und Autoren
Otto, Martin
Identifikationsnummern
- DOI: 10.1016/S0168-0072(96)00047-4
- REPORT NUMBER: RWTH-CONV-087922