2944 search results - page 89 / 589 » On Well Quasi-orders on Languages |
129
click to vote
APN
2009
Springer
15 years 7 months ago
2009
Springer
In [LJ06] Lorenz and Juh´as raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets...
72
Voted
COLING
2010
14 years 7 months ago
2010
Zulu is an indigenous language of South Africa, and one of the eleven official languages of that country. It is spoken by about 11 million speakers. Although it is similar in size...
107
Voted
PODS
2005
ACM
16 years 26 days ago
2005
ACM
We investigate the question of whether a query can be answered using a set V of views. We first define the problem in information-theoretic terms: we say that V determines if V pr...
91
Voted
ICFP
2008
ACM
16 years 21 days ago
2008
ACM
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is...
123
Voted
ICFP
2005
ACM
16 years 21 days ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...