On the First-Order Equivalence of Call-by-Name and Call-by-Value.
Thomas NollPublished in: CAAP (1994)
Keyphrases
- higher order
- decision diagrams
- first order logic
- stochastic dominance
- artificial intelligence
- interactive dynamic influence diagrams
- database
- term rewriting
- linear temporal logic
- conditional logic
- datalog programs
- equivalence relation
- evolutionary algorithm
- relational databases
- pairwise
- multiscale
- decision trees
- knowledge base
- information retrieval
- real time