Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
36 |
| ||||||||
2 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
2 |
| ||||||||
2 |
| ||||||||
1996 | Basin, David A. Matthews, Seán Viganò, Luca | A Topography of Labelled Modal Logics In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | Part of a Book | ||||||
1996 | Weidenbach, Christoph | Unification in Sort Theories In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25 | Proceedings Article |
Previous Page | Next Page |