1902 search results - page 13 / 381 » Differential Dynamic Logics |
45
Voted
IJBC
2006
14 years 11 months ago
2006
43
Voted
IJBC
2002
14 years 11 months ago
2002
IPL
2006
14 years 11 months ago
2006
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
GLVLSI
2003
IEEE
15 years 5 months ago
2003
IEEE
The realization of fast datapaths in signal processing environments requires fastest, power efficient logic styles with synchronous behavior. This paper presents a method to combi...
104
click to vote
DLOG
1998
15 years 1 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...