A universal resolving algorithm for inverse computation of lazy languages

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelPerspectives of Systems Informatics. Proceedings
RedaktørerAndrei Voronkov, Irina Virbitskaite
ForlagSpringer
Publikationsdato2007
Sider27-40
ISBN (Trykt)9783540708803
DOI
StatusUdgivet - 2007
BegivenhedInternational Andrei Ershov Memorial Conference - Novosibirsk, Rusland
Varighed: 27 jun. 2006 → 30 jun. 2006
Konferencens nummer: 6

Konference

KonferenceInternational Andrei Ershov Memorial Conference
Nummer6
LandRusland
ByNovosibirsk
Periode27/06/2006 → 30/06/2006
NavnLecture notes in computer science
Nummer4378
ISSN0302-9743

Bibliografisk note

DOI: http://dx.doi.org/10.1007/978-3-540-70881-0_6

ID: 6380798