scientific article; zbMATH DE number 786490

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

zbMATH Keywords

simulationlinear logicmany-counter Minsky machinespartial recursive relations

Mathematics Subject Classification ID

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)