Sciweavers

8949 search results - page 150 / 1790
» is 1998
Sort
View
KI
1998
Springer
15 years 10 months ago
Simultaneous Quantifier Elimination
Serge Autexier, Heiko Mantel, Werner Stephan
KR
1998
Springer
15 years 10 months ago
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
Iliano Cervesato, Massimo Franceschet, Angelo Mont...