scientific article; zbMATH DE number 1751214

zbMATH Open0993.68035MaRDI QIDQ4534296

Nachum Dershowitz, Naomi Lindenstrauss

Publication date: 6 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Turing machinesparallel computationrewriting

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (1)

Distilling abstract machines

This page was built for publication: