Canonization for two variables and puzzles on the square
Otto, Martin
Amsterdam : Elsevier (1997)
Fachzeitschriftenartikel
In: Annals of pure and applied logic
Band: 85
Heft: 3
Seite(n)/Artikel-Nr.: 243-282
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
Identifikationsnummern
- DOI: 10.1016/S0168-0072(96)00047-4
- RWTH PUBLICATIONS: RWTH-CONV-087922