scientific article; zbMATH DE number 877299

From MaRDI portal

Revision as of 04:46, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4877295

Jump to:navigation, search

zbMath0846.68002MaRDI QIDQ4877295

Barbara Hammer, Volker Sperschneider

Publication date: 9 May 1996

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

zbMATH Keywords

computing verification Chomsky hierarchy NP completeness

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Theory of software (68N99)

Related Items (3)

Fifty years of the spectrum problem: survey and new results ⋮ Domains for Computation in Mathematics, Physics and Exact Real Arithmetic ⋮ The implication and finite implication problems for typed template dependencies

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4877295&oldid=19242254"