Closed reduction: explicit substitutions without alpha-conversion.

Maribel Fernández Ian Mackie François-Régis Sinot

Published in: Math. Struct. Comput. Sci. (2005)

Keyphrases

queueing networks
learning algorithm
steady state
reduction method
artificial intelligence
search engine
multi agent
information technology
rough sets
open or closed