scientific article
From MaRDI portal
Publication:3970797
zbMath0748.03028MaRDI QIDQ3970797
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
invariantconstructive modelrecursive representationconstructivizable modelrepresentation of a constructive group
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
This page was built for publication: