MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Vakarelov, DimiterVakarelov, Dimiter
1
Show details for Vakil, R. (ed.)Vakil, R. (ed.)
1
Show details for Vallduvi, Enric (ed.)Vallduvi, Enric (ed.)
2
Show details for Valmari, Antti (ed.)Valmari, Antti (ed.)
22
Show details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
1
Show details for van Emde Boas, Peter (ed.)van Emde Boas, Peter (ed.)
2
Hide details for Van Hentenryck, Pascal (ed.)Van Hentenryck, Pascal (ed.)
1994Stuber, JürgenComputing Stable Models by Program Transformation
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 58-73		Proceedings Article
1994Basin, David A.IsaWhelk: Whelk Interpreted in Isabelle
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741		Proceedings Article
1
Show details for van Leeuwen, Jan (ed.)van Leeuwen, Jan (ed.)
1
Show details for Vardi, MosheVardi, Moshe
1
Show details for Varsek, I.Varsek, I.
1
Show details for Vaz de Carvalho, Júlia (ed.)Vaz de Carvalho, Júlia (ed.)
10
Show details for Veanes, MargusVeanes, Margus
1
Show details for Vehi, JosepVehi, Josep
1
Show details for Veit, JörgVeit, Jörg
1
Show details for Ventura, PaoloVentura, Paolo
9
Show details for Viganò, LucaViganò, Luca
1
Show details for Vigneron, Laurent (ed.)Vigneron, Laurent (ed.)
1
Show details for Vogel, Carl (ed.)Vogel, Carl (ed.)
1
Show details for Vojtas, Peter (ed.)Vojtas, Peter (ed.)
1
Show details for von Wright, J. (ed.)von Wright, J. (ed.)
11
Show details for Vorobyov, SergeiVorobyov, Sergei
10
Show details for Voronkov, AndreiVoronkov, Andrei
18
Show details for Voronkov, Andrei (ed.)Voronkov, Andrei (ed.)
4
Show details for Voronkov, A. (ed.)Voronkov, A. (ed.)
1
Show details for Vorozhtsov, Evgenii V. (ed.)Vorozhtsov, Evgenii V. (ed.)
1
Show details for Wachsmuth, Ipke (ed.)Wachsmuth, Ipke (ed.)
1
Show details for Wagner, Dorothea (ed.)Wagner, Dorothea (ed.)
6
Show details for Wagner, SilkeWagner, Silke

Next Page