Formal proofs of combinatorial completeness
Licentiate thesis, 1992
Author
Verónica Gaspes
Department of Computer Sciences
Subject Categories
Computer Science
ISBN
991-464970-x