2858 search results - page 141 / 572 » Logics with Aggregate Operators |
109
click to vote
PATMOS
2004
Springer
15 years 8 months ago
2004
Springer
The main result is the development, and delay comparison based on Logical Effort, of a number of high speed circuits for common arithmetic and related operations using threshold l...
ISMVL
2003
IEEE
15 years 8 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...
147
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
109
click to vote
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a n...
105
click to vote
IMPERIAL
1994
15 years 7 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...