Simple termination revisited

A. Middeldorp, H. Zantema

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Automated Deduction (Proceedings CADE-12, Nancy, France, June 26-July 1, 1994)
Editors	A. Bundy
Place of Publication	Berlin
Publisher	Springer
Pages	451-465
ISBN (Print)	3-540-58156-1
Publication status	Published - 1994

Name	Lecture Notes in Computer Science
Volume	814
ISSN (Print)	0302-9743

Cite this

@inproceedings{a84ee7236e99447e88e7e94bce899934,

title = "Simple termination revisited",

author = "A. Middeldorp and H. Zantema",

year = "1994",

language = "English",

isbn = "3-540-58156-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "451--465",

editor = "A. Bundy",

booktitle = "Automated Deduction (Proceedings CADE-12, Nancy, France, June 26-July 1, 1994)",

address = "Germany",

}