Trees, ordinals and termination (Q5044740)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7611267

Language	Label	Description	Also known as
English	Trees, ordinals and termination	scientific article; zbMATH DE number 7611267

Statements

scholarly article

0 references

Trees, ordinals and termination (English)

0 references

zbMATH Open document ID

0 references

10.1007/3-540-56610-4_68

0 references

Nachum Dershowitz

0 references

Lecture Notes in Computer Science

0 references

publication date

2 November 2022

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-56610-4_68

0 references

0 references

0 references

Proving termination with multiset orderings

0 references

0 references

Orderings for term-rewriting systems

0 references

Termination of rewriting

0 references

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

Accessible Independence Results for Peano Arithmetic

0 references

Note on a proof of the extended Kirby-Paris theorem on labelled finite trees

0 references

Built-up systems of fundamental sequences and hierarchies of number-theoretic functions

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5044740

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