Corrigendum to: Infinite normal forms (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (1989), 372 LNCS, (249-262), 10.1007/BFb0035765)

Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted

Research output: Contribution to journalComment/debate

Fingerprint

Dive into the research topics of 'Corrigendum to: Infinite normal forms (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (1989), 372 LNCS, (249-262), 10.1007/BFb0035765)'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science