scientific article; zbMATH DE number 1543335
From MaRDI portal
Publication:4520811
zbMath0959.03015MaRDI QIDQ4520811
Publication date: 27 February 2001
Full work available at URL: http://www.jucs.org/jucs_6_1/a_canonical_model_construction
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Linear and affine logics with temporal, spatial and epistemic operators ⋮ Normal modal substructural logics with strong negation ⋮ Investigations into a left-structural right-substructural sequent calculus
This page was built for publication:
