scientific article
From MaRDI portal
Publication:3750122
zbMath0609.68039MaRDI QIDQ3750122
Giancarlo Mauri, Nicoletta Sabadini, Alberto Bertoni
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
counting functioncounting problemdivision RAMequivalence problem for straight line programs on integerssatisfiability of quantified Boolean formulassimulations among RAM's with powerful instructions
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
The problem of space invariance for sequential machines ⋮ Squeezing Feasibility ⋮ Smoothing the Gap Between NP and ER ⋮ On Faster Integer Calculations Using Non-arithmetic Primitives ⋮ Preface ⋮ Sorting, linear time and the satisfiability problem
This page was built for publication:
