scientific article
zbMATH Open0609.68039MaRDI QIDQ3750122FDOQ3750122
N. Sabadini, Giancarlo Mauri, Alberto Bertoni
Publication date: 1985
Title of this publication is not available (Why is that?)
counting problemcounting functiondivision RAMequivalence problem for straight line programs on integerssatisfiability of quantified Boolean formulassimulations among RAM's with powerful instructions
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10)
Cited In (8)
- Parallel machine models: how they are and where are they going
- The problem of space invariance for sequential machines
- On Faster Integer Calculations Using Non-arithmetic Primitives
- Theory of Cryptography
- Squeezing Feasibility
- Sorting, linear time and the satisfiability problem
- Smoothing the Gap Between NP and ER
- Preface
Recommendations
- Fast Simulation of Turing Machines by Random Access Machines π π
- On efficient simulations of multicounter machines π π
- Simulation of Parallel Random Access Machines by Circuits π π
- Title not available (Why is that?) π π
- Deterministic simulation of a single tape turing machine by a random access machine in sub-linear time π π
- On approximating the ideal random access machine by physical machines π π
- Simulations by time-bounded counter machines π π
- Simulations by Time-Bounded Counter Machines π π
- On Efficient Simulations of Systolic Arrays by Random-Access Machines π π
- On efficient deterministic simulation of turing machine computations below logaspace π π
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 Q3750122)