2853 search results - page 195 / 571 » On Coherence in Computer Algebra |
140
click to vote
AAECC
2008
Springer
15 years 4 months ago
2008
Springer
In a previous article [14], we proved the existence of resolvent representations for regular differential ideals. The present paper provides practical algorithms for computing suc...
122
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
161
click to vote
NCA
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
134
Voted
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
111
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...