MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
2
Hide details for Pearce, David (ed.)Pearce, David (ed.)
1994Nonnengart, AndreasHow to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378		Proceedings Article
1994Dimopoulos, YannisThe Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65		Proceedings Article
1
Show details for Peled, Doron A (ed.)Peled, Doron A (ed.)
1
Show details for Peled, Doron (ed.)Peled, Doron (ed.)
2
Show details for Penjam, Jaan (ed.)Penjam, Jaan (ed.)
3
Show details for Pereira, Luís Moniz (ed.)Pereira, Luís Moniz (ed.)
1
Show details for Pérez, María S. (ed.)Pérez, María S. (ed.)
1
Show details for Pfenning, Frank (ed.)Pfenning, Frank (ed.)
1
Show details for Pierrot, Francois (ed.)Pierrot, Francois (ed.)
1
Show details for Pigorsch, FlorianPigorsch, Florian
1
Show details for Pinto, GuilhermePinto, Guilherme
1
Show details for Pirri, Fiora (ed.)Pirri, Fiora (ed.)
2
Show details for Piskac, RuzicaPiskac, Ruzica
1
Show details for Pitt, Jeremy (ed.)Pitt, Jeremy (ed.)
1
Show details for Pitz, WernerPitz, Werner
7
Show details for Plaisted, David A.Plaisted, David A.
3
Show details for Plotkin, Gordon (ed.)Plotkin, Gordon (ed.)
1
Show details for Plotkin, G. (ed.)Plotkin, G. (ed.)
1
Show details for Pnueli, AmirPnueli, Amir
65
Show details for Podelski, AndreasPodelski, Andreas
5
Show details for Podelski, Andreas (ed.)Podelski, Andreas (ed.)
1
Show details for Pollack, Martha E. (ed.)Pollack, Martha E. (ed.)
1
Show details for Pons, OlivierPons, Olivier
1
Show details for Poole, David (ed.)Poole, David (ed.)
1
Show details for Porteous, JuliePorteous, Julie
2
Show details for Präcklein, AxelPräcklein, Axel
5
Show details for Prade, Henri (ed.)Prade, Henri (ed.)
1
Show details for Prakken, Henri (ed.)Prakken, Henri (ed.)
1
Show details for Pratt-Hartmann, IanPratt-Hartmann, Ian

Next Page