2540 search results - page 272 / 508 » Abstract Logics as Dialgebras |
113
click to vote
FPGA
2006
ACM
15 years 4 months ago
2006
ACM
Abstract--Field-programmable gate-array (FPGA) logic synthesis and technology mapping have been studied extensively over the past 15 years. However, progress within the last few ye...
90
Voted
IJCINI
2007
15 years 22 days ago
2007
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
107
Voted
ENTCS
2000
15 years 19 days ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
104
Voted
DLOG
1996
15 years 2 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
94
Voted
ICLP
1992
Springer
15 years 4 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...