3624 search results - page 485 / 725 » Abstract Algebraic Logic |
174
click to vote
CASC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
185
click to vote
APLAS
2004
ACM
16 years 2 days ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however e...
190
click to vote
EMSOFT
2004
Springer
16 years 19 hour ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
172
click to vote
ICCS
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
180
click to vote
IFM
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...