Server halma.mpi-inf.mpg.de
Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| # |  | Year | Author(s) [non member] | Editor(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 | [Fitzgerald, John]
[Hayes, Ian J.]
[Tarlecki, Andrzej] | | 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 | [Marcinkowski, Jerzy]
[Tarlecki, Andrzej] | | 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 | [Marcinkowski, Jerzy]
[Tarlecki, Andrzej] | | 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 | Astesiano, Egidio
Reggio, Gianna
Tarlecki, Andrzej | | 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 |
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)
