Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Computing in systems described by equations
Home
Publications
Computing in systems described by equations
Computing in systems described by equations
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1977
book
Published by
Springer Nature
in
Lecture Notes in Computer Science
https://doi.org/10.1007/3-540-08531-9
Abstract
No abstract available
Keywords
COMPUTING
EDV
GLEICHUNG
MATHEMATISCHE LOGIK
PROGRAMMIERSPRACHE
SYSTEMS
EQUATION
FUNCTION
LANGUAGE
LOGIC
PROGRAMMING LANGUAGE
PROOF
SEMANTICS
ÜBERSETZER (EDV)
Cited by 136 articles