Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Algebraic Approaches to Program Semantics
Home
Publications
Algebraic Approaches to Program Semantics
Algebraic Approaches to Program Semantics
EM
Ernest G. Manes
Ernest G. Manes
MA
Michael A. Arbib
Michael A. Arbib
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1986
book
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/978-1-4612-4962-7
Abstract
No abstract available
Keywords
BOOLEAN ALGEBRA
COMPUTER
CONTROL
EVOLUTION
FORMAL LANGUAGE
FORMAL LANGUAGES
FUNCTIONAL PROGRAMMING
MATHEMATICAL LOGIC
PROGRAM SEMANTICS
PROGRAMMING
PROGRAMMING LANGUAGE
PROOF
PROVING
SEMANTICS
Cited by 83 articles