257 search results - page 52 / 52 » A (Somewhat) New Solution to the Variable Binding Problem |
LOPSTR
2005
Springer
14 years 18 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Norm-governed virtual organizations define, govern and facilitate coordinated resource sharing and problem solving in societies of agents. With an explicit account of norms, openn...