BIRTHDAY
1997
Springer
14 years 27 days ago
1997
Springer
BIRTHDAY
1997
Springer
14 years 27 days ago
1997
Springer
BIRTHDAY
1997
Springer
14 years 27 days ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
BIRTHDAY
1997
Springer
14 years 27 days ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
BIRTHDAY
1997
Springer
14 years 27 days ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
BIRTHDAY
1997
Springer
14 years 27 days ago
1997
Springer
We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzz...
SAC
1997
ACM
14 years 27 days ago
1997
ACM
SAC
1997
ACM
14 years 27 days ago
1997
ACM
SAC
1997
ACM
14 years 27 days ago
1997
ACM
Infomaster is an information integration system. It provides integrated access to distributed, heterogeneous information sources, thus giving its users the illusion of a centraliz...
SAC
1997
ACM
14 years 27 days ago
1997
ACM