3670 search results - page 260 / 734 » Linear Recursive Functions |
149
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
206
click to vote
ICDT
2010
ACM
15 years 8 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
175
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
170
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
175
click to vote
JUCS
2002
15 years 6 months ago
2002
: We consider disjunctive sequences, that is, infinite sequences (-words) having all finite words as infixes. It is shown that the set of all disjunctive sequences can be described...