4218 search results - page 311 / 844 » Complete sets of cooperations |
195
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
192
Voted
NLE
2008
15 years 7 months ago
2008
Morphological analysis is a crucial component of several natural language processing tasks, especially for languages with a highly productive morphology, where stipulating a full ...
180
click to vote
NJC
2006
15 years 7 months ago
2006
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...
176
click to vote
SYNTHESE
2008
15 years 7 months ago
2008
Judgment aggregation problems are language dependent in that they may be framed in different yet equivalent ways. We formalize this dependence via the notion of translation invari...
194
Voted
ALIFE
2004
15 years 7 months ago
2004
The Avida digital evolution platform is a software tool used to perform experimental evolution research with self-replicating computer programs ("digital organisms"). Av...