scientific article

From MaRDI portal

Publication:3968452

Jump to:navigation, search

zbMath0502.68003MaRDI QIDQ3968452

Dexter Kozen, David Harel

Publication date: 1982

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

zbMATH Keywords

dynamic logic alternating Turing machines relational data bases programming language over abstract structures

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

Ten years of Hoare's logic: A survey. II: Nondeterminism

This page was built for publication:

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

Pages with script errors