6355 search results - page 225 / 1271 » From Logic to Games |
154
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
150
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Ambipolar devices have been reported in many technologies, including carbon nanotube field effect transistors (CNTFETs). The ambipolarity can be in-field controlled with a secon...
187
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Traditional FPGA design flows have treated logic synthesis and physical design as separate steps. With the recent advances in technology, the lack of information on the physical ...
477
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
157
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1