3994 search results - page 60 / 799 » A Linear Logical Framework |
84
Voted
ECCC
2010
15 years 16 days ago
2010
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
108
click to vote
ISQED
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper revisits and extends a general linear programming(LP) formulation to exploit multiple knobs such as multi-Lgate footprint-compatible libraries and post-layout Lgateb...
ECOOPW
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a uni ed approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes. As with the Stan...
90
Voted
HYBRID
1995
Springer
15 years 4 months ago
1995
Springer
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
97
Voted
APAL
1999
15 years 4 days ago
1999
The present paper investigates the groups of automorphisms for some lattices of modal logics. The main results are the following. The lattice of normal extensions of S4.3, NExt S4....