4212 search results - page 231 / 843 » Rights Expression Languages |
188
click to vote
CORR
2000
Springer
15 years 7 months ago
2000
Springer
Appeared in: Dekker (Ed.) Proceedings of the 12th Amsterdam Colloquium (AC'99). Institute for Logic, Language and Computation, 1999, pages 43
138
click to vote
SYNTHESE
2010
15 years 5 months ago
2010
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
192
click to vote
PODS
2005
ACM
16 years 7 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
211
click to vote
ACSC
2006
IEEE
16 years 1 months ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
193
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...