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

Department of Computer Science

6 Citations (Scopus)

Original language	English
Title of host publication	Perspectives of Systems Informatics. Proceedings
Editors	Andrei Voronkov, Irina Virbitskaite
Publisher	Springer
Publication date	2007
Pages	27-40
ISBN (Print)	9783540708803
DOIs	https://doi.org/10.1007/978-3-540-70881-0_6
Publication status	Published - 2007
Event	International Andrei Ershov Memorial Conference - Novosibirsk, Russian Federation Duration: 27 Jun 2006 → 30 Jun 2006 Conference number: 6

Conference

Conference	International Andrei Ershov Memorial Conference
Number	6
Country/Territory	Russian Federation
City	Novosibirsk
Period	27/06/2006 → 30/06/2006

Series	Lecture notes in computer science
Number	4378
ISSN	0302-9743

Access to Document

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

Cite this

A universal resolving algorithm for inverse computation of lazy languages. / Abramov, Sergei M.; Glück, Robert; Klimov, Yuri.

Perspectives of Systems Informatics. Proceedings. ed. / Andrei Voronkov; Irina Virbitskaite. Springer, 2007. p. 27-40 (Lecture notes in computer science; No. 4378).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abramov, SM, Glück, R & Klimov, Y 2007, A universal resolving algorithm for inverse computation of lazy languages. in A Voronkov & I Virbitskaite (eds), Perspectives of Systems Informatics. Proceedings. Springer, Lecture notes in computer science, no. 4378, pp. 27-40, International Andrei Ershov Memorial Conference, Novosibirsk, Russian Federation, 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 -