3119 search results - page 416 / 624 » General Default Logic |
179
click to vote
WOLLIC
2007
Springer
16 years 20 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
196
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
177
click to vote
SAGA
2005
Springer
16 years 1 days ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
204
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
Service-oriented computing is meant to support loose relationships between organisations: Collaboration procedures on the application-level translate to interaction processes via ...
249
click to vote
PSSE
2004
Springer
15 years 12 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...