3624 search results - page 37 / 725 » Abstract Algebraic Logic |
106
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
164
click to vote
KI
2010
Springer
14 years 8 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
138
click to vote
LOGCOM
2008
15 years 1 months ago
2008
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...
123
click to vote
ICCAD
1995
IEEE
15 years 5 months ago
1995
IEEE
ng certain electrical noise and power constraints.Abstract: We present a new delay model for use in logic synthesis. A traditional model treats the area of a library cell as consta...
105
Voted
CSL
2008
Springer
15 years 3 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...