Computational issues in calculi of partial inductive definitions

Författare
Per Kreuger
(Per Kreuger.)
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Chalmers tekniska högsk., Vasastadens bokbinderi 1995 Sverige, Göteborg, Göteborg xii, 210 sidor. 24 cm