Sciweavers

69 search results - page 1 / 14
» igpl 2006
Sort
View
IGPL
2006
59views more  IGPL 2006»
15 years 1 months ago
Querying Hyperset/Web-Like Databases
Vladimir Sazonov
87
Voted
IGPL
2007
91views more  IGPL 2007»
15 years 1 months ago
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Valentin Goranko, Alberto Zanardo
106
Voted
IGPL
2007
50views more  IGPL 2007»
15 years 1 months ago
Not Everything is Possible
Andrea Iacona
IGPL
2007
73views more  IGPL 2007»
15 years 1 months ago
Fibred and Indexed Categories for Abstract Model Theory
Alfio Martini, Uwe Wolter, Edward Hermann Haeusler
78
Voted
IGPL
2000
68views more  IGPL 2000»
15 years 28 days ago
Reachability Logic: An Efficient Fragment of Transitive Closure Logic
Natasha Alechina, Neil Immerman