JL systems with non-fragmented axioms: The hierarchy
From MaRDI portal
Publication:4101448
DOI10.1080/00207167508803108zbMath0334.68047OpenAlexW2014299145WikidataQ114643084 ScholiaQ114643084MaRDI QIDQ4101448
Publication date: 1975
Published in: International Journal of Computer Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207167508803108
Related Items (1)
Cites Work
This page was built for publication: JL systems with non-fragmented axioms: The hierarchy