scientific article; zbMATH DE number 5504157
From MaRDI portal
Publication:3597155
zbMATH Open1156.82347MaRDI QIDQ3597155FDOQ3597155
Authors: Demetrios D. Demopoulos, Moshe Y. Vardi 
Publication date: 9 February 2009
Title of this publication is not available (Why is that?)
Analysis of algorithms and problem complexity (68Q25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Phase transitions (general) in equilibrium statistical mechanics (82B26) Complexity of computation (including implicit computational complexity) (03D15)
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 Q3597155)
