3624 search results - page 112 / 725 » Abstract Algebraic Logic |
135
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
151
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
103
click to vote
PPAM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present the way in which we adapt data and computations to the underlying memory hierarchy by means of a hierarchical data structure known as hypermatrix. The applicat...
132
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We show how to compute a minimal Riccatibalanced state map and a minimal Riccati-balanced state space representation starting from an image representation of a strictly...
234
click to vote
ACMMPC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...