Domain Algebras
Artikel i vetenskaplig tidskrift, 1984

Författare

Peter Dybjer

Institutionen för informationsbehandling

Göteborgs universitet

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 172 138-150

Ämneskategorier

Datavetenskap (datalogi)

Mer information

Skapat

2017-10-07