2853 search results - page 334 / 571 » On Coherence in Computer Algebra |
135
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
145
click to vote
ITS
2010
Springer
15 years 9 months ago
2010
Springer
The purpose of the current study was to test whether we could create a system where students can learn by teaching a live machine-learning agent. SimStudent is a computer agent tha...
134
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
134
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...
127
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...