scientific article; zbMATH DE number 7307014
From MaRDI portal
Publication:5149063
zbMath1477.03239MaRDI QIDQ5149063
Publication date: 6 February 2021
Full work available at URL: https://ojs.victoria.ac.nz/ajl/article/view/6468/5617
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proof theory in general (including proof-theoretic semantics) (03F03) Free lattices, projective lattices, word problems (06B25)
This page was built for publication: