Skip to content

Postconditional Semantics of Data Base Queries.

Naphtali Rishe

VenueBMFPS
Year1985
ProceedingsMathematical Foundations of Programming Semantics

Browse the full MFPS paper archive.