MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

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 Cantu, Bundy, Smaill, BasinCantu, Bundy, Smaill, Basin
Show details for Chadha, PlaistedChadha, Plaisted
Hide details for CharatonikCharatonik
2002Direktionale Typen in der Logischen Programmierung
Universität des Saarlandes		Charatonik2002habil
2000Directional Type Checking for Logic Programs: Beyond Discriminative Types
In: Proceedings of the 8th European Symposium on Programming (ESOP-00), 72-87		Charatonik-ESOP00
1998An Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151		Charatonik-IPL98
1998Set Constraints in Some Equational Theories
In: Information and Computation [142], 40-75		Charatonik98
Show details for Charatonik, AmadioCharatonik, Amadio
Show details for Charatonik, Dal Zilio, Gordon, Mukhopadhyay, TalbotCharatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot
Show details for Charatonik, Georgieva, MaierCharatonik, Georgieva, Maier
Show details for Charatonik, Gordon, TalbotCharatonik, Gordon, Talbot
Show details for Charatonik, McAllester, Niwinski, Podelski, WalukiewiczCharatonik, McAllester, Niwinski, Podelski, Walukiewicz
Show details for Charatonik, Mukhopadhyay, PodelskiCharatonik, Mukhopadhyay, Podelski
Show details for Charatonik, PodelskiCharatonik, Podelski
Show details for Charatonik, Podelski, TalbotCharatonik, Podelski, Talbot
Show details for Charatonik, TalbotCharatonik, Talbot
Show details for Chaudhuri, Dimopoulos, ZaroliagisChaudhuri, Dimopoulos, Zaroliagis
Show details for ChristenChristen
Show details for Chu, PlaistedChu, Plaisted
Show details for Claus, Hopf, Schwefel (ed.)Claus, Hopf, Schwefel (ed.)
Show details for Cook, Gotsman, Podelski, Rybalchenko, VardiCook, Gotsman, Podelski, Rybalchenko, Vardi
Show details for Cook, Podelski, RybalchenkoCook, Podelski, Rybalchenko
Show details for Cortier, Ganzinger, Jacquemard, VeanesCortier, Ganzinger, Jacquemard, Veanes
Show details for Cunningham, Gabbay, OhlbachCunningham, Gabbay, Ohlbach
Show details for Cuntz, Freiheit, KindlerCuntz, Freiheit, Kindler
Show details for Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, WirtzDamm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz
Show details for Damm, Pinto, RatschanDamm, Pinto, Ratschan
Show details for Daum, Maus, Schirmer, SeghirDaum, Maus, Schirmer, Seghir
Show details for de Nivellede Nivelle
Show details for de Nivelle, Areces, de Rijkede Nivelle, Areces, de Rijke

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