1532 search results - page 140 / 307 » An Algebraic Process Calculus |
123
click to vote
BSL
2006
15 years 4 months ago
2006
We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as good as seems possible th...
114
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on f...
127
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
168
click to vote
DBPL
1995
Springer
15 years 8 months ago
1995
Springer
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
139
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...