2 |
| Marcinkowski, Jerzy (ed.) |
| |
| | 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 | |