Standardization theorem revisited

DOI10.1007/3-540-61735-3_8MaRDI QIDQ2956717zbMATH OpenOpenAlexFDO

Authors Taro Suzuki

Publication date 19 January 2017

Published in Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61735-3_8

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A nonstandard standardization theorem
• scientific article; zbMATH DE number 1884318
• scientific article; zbMATH DE number 3893198
• A standardization theorem for strong reduction
• Von Staudt's theorem revisited
• Stoïlow's theorem revisited
• Upper bounds for standardizations and an application
• scientific article; zbMATH DE number 1088210
• scientific article; zbMATH DE number 4027187
• The standardization principle in the theory of bounded sets

Cited in

(1)

• A nonstandard standardization theorem

This page was built for publication: Standardization theorem revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2956717)