1604 search results - page 13 / 321 » A Logical Viewpoint on Architectures |
117
click to vote
ENTCS
2007
14 years 9 months ago
2007
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
DAC
1997
ACM
15 years 1 months ago
1997
ACM
DAC
1993
ACM
15 years 1 months ago
1993
ACM
DAC
1994
ACM
15 years 1 months ago
1994
ACM
74
Voted
FPL
2000
Springer
15 years 1 months ago
2000
Springer
Following the simple Programmable Logic Device (SPLD) and Field Programmable Gate Array (FPGA) generations a third generation of programmable logic technologies is now reaching the...