scientific article; zbMATH DE number 3556034
From MaRDI portal
Publication:4128544
zbMath0357.02032MaRDI QIDQ4128544
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Homological and categorical methods for abelian groups (20K40) Proof theory and constructive mathematics (03F99)
Related Items (2)
This page was built for publication:
