scientific article; zbMATH DE number 1760142

zbMATH Open0996.68647MaRDI QIDQ4537128

Naomi Lindenstrauss, Nachum Dershowitz

Publication date: 6 November 2002

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Computing methodologies and applications (68U99)

Related Items (2)

The York Abstract Machine ⋮ Distilling abstract machines

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 Q4537128)