|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Deciding Boolean Algebra with Presburger Arithmetic |
Kuncak, Viktor |
2006 |
36 | 3 |
p. 213-239 |
article |
|
| 2 | Explaining Gabriel–Zisman Localization to the Computer |
Simpson, Carlos |
2006 |
36 | 3 |
p. 259-285 |
article |
|
| 3 | Predicting and Detecting Symmetries in FOL Finite Model Search |
Audemard, Gilles |
2006 |
36 | 3 |
p. 177-212 |
article |
|
| 4 | Searching for Shortest Single Axioms for Groups of Exponent 6 |
Fiala, Nick C. |
2006 |
36 | 3 |
p. 241-257 |
article |
4 results found