scientific article; zbMATH DE number 408791
From MaRDI portal
Publication:4202935
zbMath0783.03031MaRDI QIDQ4202935
No author found.
Publication date: 6 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationprimitive recursive arithmeticexplicit mathematicssemantics of parallelismcomplexity of parallel computationlogical complexity of bisimulationmodel of the Anti-Foundation Axiomsubsystem of the Kripke-Platek set theory
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) First-order arithmetic and fragments (03F30) Models of other mathematical theories (03C65)
Related Items (1)
This page was built for publication:
