scientific article; zbMATH DE number 408817

zbMath0819.68072MaRDI QIDQ4202962

Andreas Weiermann

Publication date: 6 September 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

termination orderingsterm rewriting system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Recursive ordinals and ordinal notations (03F15)

Related Items

Equational derivation vs. computation, Program Size Complexity of Correction Grammars in the Ershov Hierarchy, The hierarchy of terminating recursive programs over N, An order-theoretic characterization of the Howard-Bachmann-hierarchy, A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets, Well-partial-orderings and the big Veblen number, Gap Embedding for Well-Quasi-Orderings