scientific article; zbMATH DE number 786490
From MaRDI portal
Publication:4842971
zbMath0826.03018MaRDI QIDQ4842971
Publication date: 16 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Subsystems of classical logic (including intuitionistic logic) (03B20) Turing machines and related notions (03D10)
Related Items
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) ⋮ An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics ⋮ Undecidability of Propositional Separation Logic and Its Neighbours ⋮ Language models for some extensions of the Lambek calculus ⋮ On the decision problem for MELL ⋮ Collaborative planning with confidentiality ⋮ System NEL is Undecidable