"A Formal Scheme for Avoiding Undecidable Problems - Applications to ..."

Antonio L. Perrone (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics