1902 search results - page 13 / 381 » Differential Dynamic Logics |
IJBC
2006
13 years 7 months ago
2006
IPL
2006
13 years 7 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
14 years 25 days 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...
DLOG
1998
13 years 9 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 ...