Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

YearTitleBibTeX cite key
Show details for van der Torrevan der Torre
Show details for van der Torre, Tanvan der Torre, Tan
Show details for van der Torre, Weydertvan der Torre, Weydert
Hide details for VeanesVeanes
2000Farmer's Theorem Revisited
In: Information Processing Letters [74], 47-53
Veanes99
1998The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 264-275
Veanes98
Show details for VeitVeit
Show details for ViganòViganò
Show details for VorobyovVorobyov
Show details for Vorobyov, VoronkovVorobyov, Voronkov
Show details for VoronkovVoronkov
Show details for Wagner, PodelskiWagner, Podelski
Show details for WaldmannWaldmann
Show details for WangWang
Show details for WeidenbachWeidenbach
Show details for Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, TopićWeidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić
Show details for Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, TopićWeidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić
Show details for Weidenbach, Gaede, RockWeidenbach, Gaede, Rock
Show details for Weidenbach, Meyer, Cohrs, Engel, KeenWeidenbach, Meyer, Cohrs, Engel, Keen
Show details for Werner, Bockmayr, KrischerWerner, Bockmayr, Krischer
Show details for WeydertWeydert
Show details for Weydert, Brewka, Witteveen (ed.)Weydert, Brewka, Witteveen (ed.)
Show details for Weydert, van der TorreWeydert, van der Torre
Show details for WiesWies
Show details for Wies, Kuncak, Lam, Podelski, RinardWies, Kuncak, Lam, Podelski, Rinard
Show details for WuWu
Show details for Wu, LiuWu, Liu
Show details for Wu, LuWu, Lu
Show details for Wu, Tan, LiWu, Tan, Li
Show details for Xia, YangXia, Yang
Show details for Yoshida, Bundy, Green, Walsh, BasinYoshida, Bundy, Green, Walsh, Basin
Show details for Yuan, Billington, FreiheitYuan, Billington, Freiheit
Show details for ZeyerZeyer

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)