Normalization, approximation, and semantics for combinator systems.

Steffen van Bakel Maribel Fernández

Published in: Theor. Comput. Sci. (2003)

Keyphrases

machine learning
management system
distributed systems
error bounds
database
expert systems
object oriented
semantic web
reasoning systems
formal languages
rewrite systems