Sciweavers

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