4212 search results - page 231 / 843 » Rights Expression Languages |
168
click to vote
CORR
2000
Springer
15 years 6 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
125
click to vote
SYNTHESE
2010
15 years 4 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...
174
click to vote
PODS
2005
ACM
16 years 6 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...
172
click to vote
ACSC
2006
IEEE
16 years 18 days 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...
165
click to vote
EMSOFT
2004
Springer
15 years 10 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...