Login / Signup
The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions.
John W. Backus
Published in:
ICFPC (1981)
Keyphrases
</>
linear equations
functional programs
term rewriting systems
knowledge base
linear systems
data model
logic programs
lazy evaluation
database
knowledge representation
reasoning tasks
databases
fuzzy sets
first order logic
gauss seidel method