# | | Year | Author(s) [non member] | | Title | Type | |
11 |
| Talbot, Jean-Marc |
| |
1 |
| |
1 |
| Tammet, Tanel (ed.) |
| |
1 |
| |
11 |
| Tan, Yao-Hua |
| |
1 |
| |
4 |
| Tarlecki, Andrzej (ed.) |
| |
| | 2005 | [Hoenicke, Jochen]
Maier, Patrick | | Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480 | Proceedings Article | |
| | 2004 | Ganzinger, Harald
Korovin, Konstantin | | Integration of equational reasoning into instantiation-based theorem proving
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 71-84 | Proceedings Article | |
| | 2004 | Maier, Patrick | | Intuitionistic LTL and a New Characterization of Safety and Liveness
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309 | Proceedings Article | |
| | 1995 | Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen | | Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29 | Proceedings Article | |
1 |
| |
1 |
| Tessaris, Sergio (ed.) |
| |
2 |
| |
1 |
| Thiagarajan, P.S. (ed.) |
| |
1 |
| |
1 |
| Thiele, Lothar (ed.) |
| |
1 |
| |
1 |
| Thümmel, W. (ed.) |
| |
1 |
| |
5 |
| Tinelli, Cesare |
| |
6 |
| |
1 |
| Tison, Sophie |
| |
1 |
| |
1 |
| Tiwari, Ashish (ed.) |
| |
1 |
| |
3 |
| Topić, Dalibor |
| |
1 |
| |
1 |
| Traverso, P. |
| |
1 |
| |