Addendum to ``Choiceless polynomial time'' (Q5945399)
From MaRDI portal
scientific article; zbMATH DE number 1656622
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Addendum to ``Choiceless polynomial time'' |
scientific article; zbMATH DE number 1656622 |
Statements
Addendum to ``Choiceless polynomial time'' (English)
0 references
25 March 2002
0 references
Concerns the authors' paper in Ann. Pure Appl. Logic 100, No. 1-3, 141-187 (1999; Zbl 0936.03037). They point out that simulation of their abstract state machines by the generic state machines of S. Abiteboul and V. Vianu requires a strengthening of the latter model.
0 references
polynomial time
0 references
PTime logics
0 references
choice
0 references
parallelism
0 references
abstract state machines
0 references
generic state machines
0 references
