1404 search results - page 204 / 281 » Complexity of admissible rules |
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
ECAL
1999
Springer
14 years 1 months ago
1999
Springer
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
HASE
1997
IEEE
14 years 29 days ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
SIGMOD
1993
ACM
14 years 25 days ago
1993
ACM
The traditional focus of relational query optimization schemes has been on the choice of join methods and join orders. Restrictions have typically been handled in query optimizers ...