Simple termination revisited (Q5210790)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7154566

Language	Label	Description	Also known as
English	Simple termination revisited	scientific article; zbMATH DE number 7154566

Statements

scholarly article

0 references

Simple termination revisited (English)

0 references

zbMATH Open document ID

0 references

10.1007/3-540-58156-1_33

0 references

Aart Middeldorp

0 references

0 references

Automated Deduction — CADE-12

0 references

publication date

21 January 2020

0 references

full work available at URL

https://dspace.library.uu.nl/handle/1874/17074

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

A note on simplification orderings

0 references

Orderings for term-rewriting systems

0 references

Termination of rewriting

0 references

0 references

Proving termination with multiset orderings

0 references

Total termination of term rewriting

0 references

What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory

0 references

0 references

Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture

0 references

Termination of term rewriting by interpretation

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5210790

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5210790&oldid=36553864"