Sciweavers

3970 search results - page 153 / 794
» A Logic For Causal Reasoning
Sort
View
LPAR
2007
Springer
14 years 2 months ago
Completeness for Flat Modal Fixpoint Logics
Luigi Santocanale, Yde Venema
LICS
2006
IEEE
14 years 1 months ago
Adapting Logics
Andreas Blass