331 search results - page 42 / 67 » HOLCF: Higher Order Logic of Computable Functions |
211
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
214
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
196
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
162
click to vote
ML
2006
ACM
15 years 5 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
161
click to vote
ITCC
2000
IEEE
15 years 10 months ago
2000
IEEE
Using the operational matrix of an orthogonal function to perform integration for solving, identifying and optimizing a linear dynamic system has several advantages: (1) the metho...