4592 search results - page 253 / 919 » Framework for Studying Substitution |
163
click to vote
WILF
2005
Springer
16 years 23 days ago
2005
Springer
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...
173
click to vote
LACL
2001
Springer
15 years 11 months ago
2001
Springer
Lambek [13] introduces pregroups as a new framework for syntactic structure. In this paper we prove some new theorems on pregroups and study grammars based on the calculus of free...
189
click to vote
DEBU
2002
15 years 7 months ago
2002
The VISPO project studies cooperative information systems in virtual districts to derive possible cooperation patterns and to provide an architectural framework for cooperation. D...
227
click to vote
CC
2003
Springer
16 years 16 days ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
161
click to vote
ICALT
2009
IEEE
16 years 2 months ago
2009
IEEE
This conceptual paper outlines best practice use cases and standards for learning delivery that are the result of a European-wide best practice case study survey within the EU-fun...