The universal resolving algorithm: Inverse computation in a functional language, Lecture Notes in Computer Science, Vol.1837

Sergei M. Abramov, Robert Glück

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Proceedings in Mathematics of Program Construction
Forlag	Springer
Publikationsdato	2000
Sider	187-212
Status	Udgivet - 2000

Citationsformater

@inbook{318b5e2074c811dbbee902004c4f4f50,

title = "The universal resolving algorithm: Inverse computation in a functional language, Lecture Notes in Computer Science, Vol.1837",

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

year = "2000",

language = "English",

pages = "187--212",

booktitle = "Proceedings in Mathematics of Program Construction",

publisher = "Springer",

address = "Switzerland",

}