scientific article; zbMATH DE number 7362722
From MaRDI portal
Publication:4995358
zbMath1464.03022arXiv1408.5956MaRDI QIDQ4995358
Publication date: 24 June 2021
Full work available at URL: https://arxiv.org/abs/1408.5956
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (1)
This page was built for publication:
