|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A new combination procedure for the word problem that generalizes fusion decidability results in modal logics |
Baader, Franz |
2006 |
204 | 10 |
p. 1413-1452 40 p. |
artikel |
|
| 2 | Automation for interactive proof: First prototype |
Meng, Jia |
2006 |
204 | 10 |
p. 1575-1596 22 p. |
artikel |
|
| 3 | Decision procedures for term algebras with integer constraints |
Zhang, Ting |
2006 |
204 | 10 |
p. 1526-1574 49 p. |
artikel |
|
| 4 | Editorial Board (continued) |
2006 |
204 | 10 |
p. i- 1 p. |
artikel |
||
| 5 | Efficient theory combination via boolean search |
Bozzano, Marco |
2006 |
204 | 10 |
p. 1493-1525 33 p. |
artikel |
|
| 6 | Inside Front Cover: Editorial Board |
2006 |
204 | 10 |
p. CO2- 1 p. |
artikel |
||
| 7 | Modular proof systems for partial functions with Evans equality |
Ganzinger, Harald |
2006 |
204 | 10 |
p. 1453-1492 40 p. |
artikel |
|
| 8 | Special issue on combining logical systems |
Armando, Alessandro |
2006 |
204 | 10 |
p. 1411-1412 2 p. |
artikel |
8 gevonden resultaten