1902 search results - page 59 / 381 » Differential Dynamic Logics |
117
click to vote
JOLLI
2002
15 years 2 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
ICCAD
2005
IEEE
16 years 3 days ago
2005
IEEE
108
Voted
LATA
2009
Springer
15 years 10 months ago
2009
Springer
123
Voted
LORI
2009
Springer
15 years 9 months ago
2009
Springer
PATMOS
2005
Springer
15 years 8 months ago
2005
Springer