scientific article
From MaRDI portal
Publication:3827989
zbMath0674.03003MaRDI QIDQ3827989
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexityBernays-Schönfinkel classcomputations of programsdeductions of logical Horn formulaeFlannagan's conjecturesemantics of machine programs
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15)
This page was built for publication:
