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]