scientific article; zbMATH DE number 786490
From MaRDI portal
Publication:4842971
zbMATH Open0826.03018MaRDI QIDQ4842971FDOQ4842971
Authors: Max Kanovich
Publication date: 16 August 1995
Title of this publication is not available (Why is that?)
Recommendations
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
- Simulation of Turing machines by a left-linear rewrite rule
- The deduction rule and linear and near-linear proof simulations
- Linear-time simulation of multihead Turing machines
- Encodings of Turing machines in linear logic
- Computational interpretations of linear logic
- The linear logical abstract machine
- Simulating Turing machines on Maurer machines
- scientific article; zbMATH DE number 785051
- Linear logic as a logic of computations
Subsystems of classical logic (including intuitionistic logic) (03B20) Turing machines and related notions (03D10)
Cited In (8)
- On the decision problem for MELL
- System NEL is undecidable
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
- Undecidability of propositional separation logic and its neighbours
- Collaborative planning with confidentiality
- Language models for some extensions of the Lambek calculus
- Title not available (Why is that?)
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842971)