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
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