2853 search results - page 175 / 571 » On Coherence in Computer Algebra |
148
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
139
click to vote
TAMC
2010
Springer
15 years 9 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
150
click to vote
CSL
1992
Springer
15 years 8 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
172
click to vote
TC
2008
15 years 4 months ago
2008
Numerical linear algebra operations are key primitives in scientific computing. Performance optimizations of such operations have been extensively investigated. With the rapid adva...
146
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...