Sciweavers

41472 search results - page 343 / 8295
» is 2006
Sort
View
PR
2006
69views more  PR 2006»
15 years 7 months ago
A framework for multiple snakes and its applications
Thitiwan Srinark, Chandra Kambhamettu
167
Voted
IGPL
2007
91views more  IGPL 2007»
15 years 7 months ago
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Valentin Goranko, Alberto Zanardo
169
Voted
IGPL
2007
50views more  IGPL 2007»
15 years 7 months ago
Not Everything is Possible
Andrea Iacona
169
Voted
IGPL
2007
73views more  IGPL 2007»
15 years 7 months ago
Fibred and Indexed Categories for Abstract Model Theory
Alfio Martini, Uwe Wolter, Edward Hermann Haeusler