A universal resolving algorithm for inverse computation of lazy languages

Sergei M. Abramov; Robert Glück; Yuri Klimov

doi:10.1007/978-3-540-70881-0_6

A universal resolving algorithm for inverse computation of lazy languages

Sergei M. Abramov, Robert Glück, Yuri Klimov

Datalogisk Institut

6 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Perspectives of Systems Informatics. Proceedings
Redaktører	Andrei Voronkov, Irina Virbitskaite
Forlag	Springer
Publikationsdato	2007
Sider	27-40
ISBN (Trykt)	9783540708803
DOI	https://doi.org/10.1007/978-3-540-70881-0_6
Status	Udgivet - 2007
Begivenhed	International Andrei Ershov Memorial Conference - Novosibirsk, Rusland Varighed: 27 jun. 2006 → 30 jun. 2006 Konferencens nummer: 6

Konference

Konference	International Andrei Ershov Memorial Conference
Nummer	6
Land/Område	Rusland
By	Novosibirsk
Periode	27/06/2006 → 30/06/2006

Navn	Lecture notes in computer science
Nummer	4378
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-540-70881-0_6

Citationsformater

A universal resolving algorithm for inverse computation of lazy languages. / Abramov, Sergei M.; Glück, Robert; Klimov, Yuri.
Perspectives of Systems Informatics. Proceedings. red. / Andrei Voronkov; Irina Virbitskaite. Springer, 2007. s. 27-40 (Lecture notes in computer science; Nr. 4378).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Abramov, SM, Glück, R & Klimov, Y 2007, A universal resolving algorithm for inverse computation of lazy languages. i A Voronkov & I Virbitskaite (red), Perspectives of Systems Informatics. Proceedings. Springer, Lecture notes in computer science, nr. 4378, s. 27-40, International Andrei Ershov Memorial Conference, Novosibirsk, Rusland, 27/06/2006. https://doi.org/10.1007/978-3-540-70881-0_6

@inproceedings{43cb98b0905111dd86a6000ea68e967b,

title = "A universal resolving algorithm for inverse computation of lazy languages",

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

note = "DOI: http://dx.doi.org/10.1007/978-3-540-70881-0_6; International Andrei Ershov Memorial Conference ; Conference date: 27-06-2006 Through 30-06-2006",

year = "2007",

doi = "10.1007/978-3-540-70881-0_6",

language = "English",

isbn = "9783540708803",

series = "Lecture notes in computer science",

publisher = "Springer",

number = "4378",

pages = "27--40",

editor = "Andrei Voronkov and Irina Virbitskaite",

booktitle = "Perspectives of Systems Informatics. Proceedings",

}

TY - GEN

T1 - A universal resolving algorithm for inverse computation of lazy languages

AU - Abramov, Sergei M.

AU - Glück, Robert

AU - Klimov, Yuri

N1 - Conference code: 6

PY - 2007

Y1 - 2007

U2 - 10.1007/978-3-540-70881-0_6

DO - 10.1007/978-3-540-70881-0_6

M3 - Article in proceedings

SN - 9783540708803

T3 - Lecture notes in computer science

SP - 27

EP - 40

BT - Perspectives of Systems Informatics. Proceedings

A2 - Voronkov, Andrei

A2 - Virbitskaite, Irina

PB - Springer

T2 - International Andrei Ershov Memorial Conference

Y2 - 27 June 2006 through 30 June 2006

ER -