Ordinal recursive bounds for Higman's theorem

From MaRDI portal
Publication:1129003

DOI10.1016/S0304-3975(97)00009-1zbMath0902.68100OpenAlexW2014322000MaRDI QIDQ1129003

E. A. Cichon, E. Tahhan-Bittar

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00009-1




Related Items (8)



Cites Work


This page was built for publication: Ordinal recursive bounds for Higman's theorem