3179 search results - page 344 / 636 » Applications of PCF Theory |
142
Voted
FMOODS
2006
15 years 5 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
104
Voted
ECIS
2001
15 years 5 months ago
2001
Information systems research continues to be criticised for the fundamental gap between theory and practice. Critics argue that this is largely the result of the methodological in...
132
Voted
ECIS
2001
15 years 5 months ago
2001
Issues about the relation between information technology (IT), knowledge and organizational learning appear more critical as IT becomes an increasingly integrated part of organiza...
158
click to vote
DLT
2003
15 years 5 months ago
2003
A new generalization of context-free grammars is introduced: Boolean grammars allow the use of all set-theoretic operations as an integral part of the formalism of rules. Rigorous...
140
Voted
IJCAI
2001
15 years 5 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...