5499 search results - page 16 / 1100 » Generalized Rewrite Theories |
100
Voted
ISIM
2007
15 years 3 months ago
2007
104
click to vote
APAL
2008
15 years 2 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
114
click to vote
SIS
2007
15 years 3 months ago
2007
Access control models for XML data can be classified in two major categories: node filtering and query rewriting systems. The first category includes approaches that use access ...
102
click to vote
ACL
2004
15 years 3 months ago
2004
Generalized Multitext Grammar (GMTG) is a synchronous grammar formalism that is weakly equivalent to Linear Context-Free Rewriting Systems (LCFRS), but retains much of the notatio...
103
click to vote
ACL
1992
15 years 3 months ago
1992
The class of linear context-free rewriting systems has been introduced as a generalization of a class of grammar formalisms known as mildly context-sensitive. The recognition prob...