Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

scientific article; zbMATH DE number 1231590

From MaRDI portal
Publication:4222910
Jump to:navigation, search

zbMath0911.68114MaRDI QIDQ4222910

Ralph-Johan Back, Joachim von Wright

Publication date: 21 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#back

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

zbMATH Keywords

predicate transformer semanticscontract


Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)








This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4222910&oldid=18092377"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 14:47.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki