Sciweavers

69 search results - page 1 / 14
» igpl 2006
Sort
View
IGPL
2006
59views more  IGPL 2006»
14 years 10 months ago
Querying Hyperset/Web-Like Databases
Vladimir Sazonov
70
Voted
IGPL
2007
91views more  IGPL 2007»
14 years 10 months ago
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Valentin Goranko, Alberto Zanardo
IGPL
2007
50views more  IGPL 2007»
14 years 10 months ago
Not Everything is Possible
Andrea Iacona
85
Voted
IGPL
2007
73views more  IGPL 2007»
14 years 10 months ago
Fibred and Indexed Categories for Abstract Model Theory
Alfio Martini, Uwe Wolter, Edward Hermann Haeusler