360 search results - page 17 / 72 » Hybrid Branching-Time Logics |
HYBRID
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
GRAMMARS
2000
14 years 9 months ago
2000
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...
LOGCOM
2006
14 years 9 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
FSKD
2005
Springer
15 years 3 months ago
2005
Springer
FPL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Hybrid Hall effect (HHE) devices are a new class of reconfigurable logic devices that incorporate ferromagnetic elements to deliver nonvolatile operation. A single HHE de...