MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
2
Show details for MacNish, Craig (ed.)MacNish, Craig (ed.)
6
Show details for Madden, PeterMadden, Peter
2
Show details for Magirou, VangelisMagirou, Vangelis
1
Show details for Maher, Michael (ed.)Maher, Michael (ed.)
1
Show details for Maibaum, T. S. E. (ed.)Maibaum, T. S. E. (ed.)
1
Show details for Maibaum, T.S.E. (ed.)Maibaum, T.S.E. (ed.)
10
Show details for Maier, PatrickMaier, Patrick
2
Show details for Majumdar, RupakMajumdar, Rupak
2
Show details for Makinson, DavidMakinson, David
2
Show details for Malkis, AlexanderMalkis, Alexander
1
Show details for Maluszynski, Jan (ed.)Maluszynski, Jan (ed.)
1
Show details for Mancarella, P. (ed.)Mancarella, P. (ed.)
2
Show details for Mannila, HeikkiMannila, Heikki
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marché, Claude (ed.)Marché, Claude (ed.)
2
Show details for Marcinkowski, Jerzy (ed.)Marcinkowski, Jerzy (ed.)
1
Show details for Marek, V. W. (ed.)Marek, V. W. (ed.)
2
Show details for Margaria, Tiziana (ed.)Margaria, Tiziana (ed.)
4
Show details for Martelli, MaurizioMartelli, Maurizio
1
Show details for Martin, David (ed.)Martin, David (ed.)
2
Show details for Mascardi, VivianaMascardi, Viviana
22
Show details for Matthews, SeanMatthews, Sean
1
Show details for Maus, StefanMaus, Stefan
1
Show details for Mayr, Ernst W. (ed.)Mayr, Ernst W. (ed.)
3
Hide details for McAllester, DavidMcAllester, David
2002Ganzinger, Harald
[McAllester, David]		Attachment IconLogical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223		Proceedings Article
2001Ganzinger, Harald
[McAllester, David]		Attachment IconA new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528		Proceedings Article
1998Charatonik, Witold
[McAllester, David]
[Niwinski, Damian]
Podelski, Andreas
[Walukiewicz, Igor]		The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69		Proceedings Article
4
Show details for McAllester, David (ed.)McAllester, David (ed.)
3
Show details for McCluskey, Lee (ed.)McCluskey, Lee (ed.)

Next Page