Termination, geometry and invariants

Ursula Martin

doi:10.1007/3-540-58156-1_31

Termination, geometry and invariants

Ursula Martin

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Automated Deduction - CADE-12
Subtitle of host publication	12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
Editors	Alan Bundy
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	432-434
Number of pages	3
ISBN (Print)	978-3-540-48467-7
DOIs	https://doi.org/10.1007/3-540-58156-1_31
Publication status	Published - 1994

Publication series

Name	Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence (LNAI))
Volume	814

Access to Document

10.1007/3-540-58156-1_31

https://link.springer.com/chapter/10.1007%2F3-540-58156-1_31?LI=true

Cite this

Martin, U. (1994). Termination, geometry and invariants. In A. Bundy (Ed.), Automated Deduction - CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings (pp. 432-434). (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence (LNAI)); Vol. 814). Springer. https://doi.org/10.1007/3-540-58156-1_31

@inproceedings{aa9741f4297444a1867c3bbf74e87844,

title = "Termination, geometry and invariants",

author = "Ursula Martin",

year = "1994",

doi = "10.1007/3-540-58156-1\_31",

language = "English",

isbn = "978-3-540-48467-7",

series = "Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence (LNAI))",

publisher = "Springer",

pages = "432--434",

editor = "Alan Bundy",

booktitle = "Automated Deduction - CADE-12",

address = "United Kingdom",

}

Martin, U 1994, Termination, geometry and invariants. in A Bundy (ed.), Automated Deduction - CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence (LNAI)), vol. 814, Springer, Berlin, Heidelberg, pp. 432-434. https://doi.org/10.1007/3-540-58156-1_31

Termination, geometry and invariants. / Martin, Ursula.
Automated Deduction - CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings. ed. / Alan Bundy. Berlin, Heidelberg: Springer, 1994. p. 432-434 (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence (LNAI)); Vol. 814).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Termination, geometry and invariants

AU - Martin, Ursula

PY - 1994

Y1 - 1994

U2 - 10.1007/3-540-58156-1_31

DO - 10.1007/3-540-58156-1_31

M3 - Conference contribution

SN - 978-3-540-48467-7

T3 - Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence (LNAI))

SP - 432

EP - 434

BT - Automated Deduction - CADE-12

A2 - Bundy, Alan

PB - Springer

CY - Berlin, Heidelberg

ER -