Sciweavers

2143 search results - page 37 / 429
» corr 2010
Sort
View
53
Voted
CORR
2010
Springer
63views Education» more  CORR 2010»
14 years 11 months ago
Robust Vacuity for Branching Temporal Logic
Arie Gurfinkel, Marsha Chechik
37
Voted
CORR
2010
Springer
123views Education» more  CORR 2010»
14 years 11 months ago
Partially ordered secretaries
Ragnar Freij, Johan Wästlund
37
Voted
CORR
2010
Springer
58views Education» more  CORR 2010»
14 years 11 months ago
Complexity of Non-Monotonic Logics
Michael Thomas, Heribert Vollmer
CORR
2010
Springer
44views Education» more  CORR 2010»
14 years 11 months ago
What we understand is what we get: Assessment in Spreadsheets
Andrea Kohlhase, Michael Kohlhase