scientific article; zbMATH DE number 5504157
From MaRDI portal
Publication:3597155
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)
