1902 search results - page 13 / 381 » Differential Dynamic Logics |
72
Voted
IJBC
2006
15 years 5 months ago
2006
155
click to vote
IPL
2006
15 years 5 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....
160
Voted
GLVLSI
2003
IEEE
15 years 11 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...
174
click to vote
DLOG
1998
15 years 7 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 ...