The universal resolving algorithm and its correctness: inverse computation in a functional language

24 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Science of Computer Programming
Vol/bind	43
Udgave nummer	2-3
Sider (fra-til)	193-229
ISSN	0167-6423
DOI	https://doi.org/10.1016/S0167-6423(02)00023-0
Status	Udgivet - 2002

Adgang til dokumentet

@article{b0c57bf10a6741bda2343797f8e865d9,

title = "The universal resolving algorithm and its correctness: inverse computation in a functional language",

author = "Abramov, {Sergei M.} and Robert Gl{\"u}ck",

year = "2002",

doi = "10.1016/S0167-6423(02)00023-0",

language = "English",

volume = "43",

pages = "193--229",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "2-3",

}

TY - JOUR

T1 - The universal resolving algorithm and its correctness: inverse computation in a functional language

AU - Abramov, Sergei M.

AU - Glück, Robert

PY - 2002

Y1 - 2002

U2 - 10.1016/S0167-6423(02)00023-0

DO - 10.1016/S0167-6423(02)00023-0

M3 - Journal article

SN - 0167-6423

VL - 43

SP - 193

EP - 229

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 2-3

ER -