3239 search results - page 225 / 648 » A Logical Process Calculus |
140
click to vote
ISMVL
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we present fault tolerant CMOS logic using redundancy and ternary signals. The ternary gates are implemented using recharge logic which can be exploited in binary an...
136
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
276
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
139
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
128
Voted
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
Limited Switch Dynamic Logic (LSDL), a high performance logic circuit, has been modified by introducing a pseudo-nMOS style load. The resultant circuit consumes less power, primar...