Converting between Combinatory Reduction Systems and Big Step Semantics.

Hanne Gottliebsen Kristoffer H. Rose

Published in: Semantics and Algebraic Specification (2009)

Keyphrases

artificial intelligence
genetic algorithm
complex systems
computer systems
logic programming
multimedia
data sets
retrieval systems
building blocks
formal semantics
learning systems
post processing
intelligent systems
logic programs
distributed systems
bayesian networks
image sequences