17054 search results - page 282 / 3411 » Logics of Dynamical Systems |
192
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...
219
click to vote
JAR
2010
15 years 2 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
233
click to vote
TSD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
200
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
191
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...