Originalsprog | Engelsk |
---|---|
Tidsskrift | Journal of Logic and Algebraic Programming |
Vol/bind | 37 |
Udgave nummer | 1-3 |
Sider (fra-til) | 213-253 |
ISSN | 2352-2208 |
Status | Udgivet - 1998 |
Automated reasoning with a constraint-based metainterpreter
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning