Sciweavers

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