MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Echahed, RachidEchahed, Rachid
1
Show details for Egly, Uwe (ed.)Egly, Uwe (ed.)
11
Show details for Eisenbrand, FriedrichEisenbrand, Friedrich
3
Show details for Eisinger, NorbertEisinger, Norbert
1
Show details for Eklund, Patrick (ed.)Eklund, Patrick (ed.)
1
Show details for Emerson, E. Allen (ed.)Emerson, E. Allen (ed.)
3
Hide details for Engel, ThorstenEngel, Thorsten
1999Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor		System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318		Proceedings Article
1998Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno		SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113		Journal Article
1996Engel, ThorstenAttachment IconQuantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes		Thesis - Masters thesis
1
Show details for Escalada-Imaz, Gonzalo (ed.)Escalada-Imaz, Gonzalo (ed.)
2
Show details for Esparza, JavierEsparza, Javier
1
Show details for et al. (ed.)et al. (ed.)
1
Show details for et. al. (ed.)et. al. (ed.)
1
Show details for Faber, JohannesFaber, Johannes
1
Show details for Faller, Martina (ed.)Faller, Martina (ed.)
2
Show details for Fariñas del Cerro, Luís (ed.)Fariñas del Cerro, Luís (ed.)
1
Show details for Fathi, Madjid (ed.)Fathi, Madjid (ed.)
1
Show details for Fawcett, Tom (ed.)Fawcett, Tom (ed.)
4
Show details for Fehrer, DetlefFehrer, Detlef
1
Show details for Felleisen, Matthias (ed.)Felleisen, Matthias (ed.)
1
Show details for Feng, Ling (ed.)Feng, Ling (ed.)
1
Show details for Fermüller, Christian G.Fermüller, Christian G.
1
Show details for Fermüller, Christian (ed.)Fermüller, Christian (ed.)
2
Show details for Ferrante, Jeanne (ed.)Ferrante, Jeanne (ed.)
1
Show details for Ferreirim, Isabel (ed.)Ferreirim, Isabel (ed.)
1
Show details for Fiedler, Herbert (ed.)Fiedler, Herbert (ed.)
1
Show details for Filinski, Andrzej (ed.)Filinski, Andrzej (ed.)
1
Show details for Finkbeiner, BerndFinkbeiner, Bernd
1
Show details for Firozabadhi, Babak SadighiFirozabadhi, Babak Sadighi

Next Page