On Lexicographic Termination Ordering with Space Bound Certifications

Guillaume Bonfante; Jean-Yves Marion; Jean-Yves Moyen

doi:10.1007/3-540-45575-2_46

On Lexicographic Termination Ordering with Space Bound Certifications

Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen

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

25 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2--6, 2001 Revised Papers
Redaktører	Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
Antal sider	12
Forlag	Springer
Publikationsdato	2001
Sider	482-493
ISBN (Trykt)	978-3-540-45575-2
DOI	https://doi.org/10.1007/3-540-45575-2_46
Status	Udgivet - 2001
Udgivet eksternt	Ja

Adgang til dokumentet

10.1007/3-540-45575-2_46

Citationsformater

Bonfante, G., Marion, J.-Y., & Moyen, J.-Y. (2001). On Lexicographic Termination Ordering with Space Bound Certifications. I D. Bjørner, M. Broy, & A. V. Zamulin (red.), Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2--6, 2001 Revised Papers (s. 482-493). Springer. https://doi.org/10.1007/3-540-45575-2_46

On Lexicographic Termination Ordering with Space Bound Certifications. / Bonfante, Guillaume; Marion, Jean-Yves; Moyen, Jean-Yves.
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2--6, 2001 Revised Papers. red. / Dines Bjørner; Manfred Broy; Alexandre V. Zamulin. Springer, 2001. s. 482-493.

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

Bonfante, G, Marion, J-Y & Moyen, J-Y 2001, On Lexicographic Termination Ordering with Space Bound Certifications. i D Bjørner, M Broy & AV Zamulin (red), Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2--6, 2001 Revised Papers. Springer, s. 482-493. https://doi.org/10.1007/3-540-45575-2_46

Bonfante, Guillaume ; Marion, Jean-Yves ; Moyen, Jean-Yves. / On Lexicographic Termination Ordering with Space Bound Certifications. Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2--6, 2001 Revised Papers. red. / Dines Bjørner ; Manfred Broy ; Alexandre V. Zamulin. Springer, 2001. s. 482-493

@inbook{f67363d0610a4dfd9038a192c5d89eb0,

title = "On Lexicographic Termination Ordering with Space Bound Certifications",

author = "Guillaume Bonfante and Jean-Yves Marion and Jean-Yves Moyen",

year = "2001",

doi = "10.1007/3-540-45575-2_46",

language = "English",

isbn = "978-3-540-45575-2",

pages = "482--493",

editor = "Dines Bj{\o}rner and Manfred Broy and Zamulin, {Alexandre V.}",

booktitle = "Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2--6, 2001 Revised Papers",

publisher = "Springer",

address = "Switzerland",

}

TY - CHAP

T1 - On Lexicographic Termination Ordering with Space Bound Certifications

AU - Bonfante, Guillaume

AU - Marion, Jean-Yves

AU - Moyen, Jean-Yves

PY - 2001

Y1 - 2001

U2 - 10.1007/3-540-45575-2_46

DO - 10.1007/3-540-45575-2_46

M3 - Book chapter

SN - 978-3-540-45575-2

SP - 482

EP - 493

BT - Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2--6, 2001 Revised Papers

A2 - Bjørner, Dines

A2 - Broy, Manfred

A2 - Zamulin, Alexandre V.

PB - Springer

ER -