Originalsprog | Engelsk |
---|---|
Tidsskrift | Information and Computation |
Vol/bind | 91 |
Udgave nummer | 2 |
ISSN | 0890-5401 |
Status | Udgivet - 1992 |
Using Information Systems to solve Recursive Domain Equations
Kim Guldstrand Larsen, Glynn Winskel
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review