3001 search results - page 43 / 601 » Recursive type generativity |
SYNASC
2005
IEEE
15 years 7 months ago
2005
IEEE
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursivel...
115
click to vote
EACL
1993
ACL Anthology
15 years 3 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
131
click to vote
EVOW
1994
Springer
15 years 6 months ago
1994
Springer
The genetic programming (GP) paradigm is a new approach to inductively forming programs that describe a particular problem. The use of natural selection based on a fitness ]unction...
100
click to vote
DKE
2006
15 years 2 months ago
2006
Recursive queries are quite important in the context of XML databases. In addition, several recent papers have investigated a relational approach to store XML data and there is gr...
116
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...