2 search results - page 1 / 1 » On the Dynamics of Total Preorders: Revising Abstract Interv... |
59
Voted
ECSQARU
2007
Springer
15 years 3 months ago
2007
Springer
CSL
2010
Springer
14 years 10 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...