Using Information Systems to solve Recursive Domain Equations

Kim Guldstrand Larsen, Glynn Winskel

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind91
Udgave nummer2
ISSN0890-5401
StatusUdgivet - 1992

Citationsformater