# | | Year | | Title | Type | |
1 |
| Cantu, Bundy, Smaill, Basin [Cantu, Bundy, Smaill, Srivas, Camilleri] |
| |
1 |
| |
1 |
| Chadha, Plaisted [Chadha] |
| |
3 |
| |
| | 2002 | | Direktionale Typen in der Logischen Programmierung
Universität des Saarlandes | Thesis - Habilitation thesis | |
| | 1998 | | An Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151 | Journal Article | |
| | 1998 | | Set Constraints in Some Equational Theories
In: Information and Computation [142], 40-75 | Journal Article | |
1 |
| |
1 |
| Charatonik, Amadio [Amadio, Brim, Jancar, Kretinsky, Kucera] |
| |
1 |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Honsell, Miculan] |
| |
1 |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Mukhopadhyay, Talbot] |
| |
1 |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot [Dal Zilio, Gordon, Talbot] |
| |
1 |
| Charatonik, Georgieva, Maier [Charatonik, Georgieva, Ong] |
| |
1 |
| Charatonik, Gordon, Talbot [Gordon, Talbot, Le Métayer] |
| |
1 |
| Charatonik, McAllester, Niwinski, Podelski, Walukiewicz [McAllester, Niwinski, Walukiewicz, Pratt] |
| |
1 |
| Charatonik, Mukhopadhyay, Podelski [Cortesi] |
| |
1 |
| Charatonik, Mukhopadhyay, Podelski [Stuckey] |
| |
1 |
| |
1 |
| Charatonik, Podelski [Freuder] |
| |
1 |
| Charatonik, Podelski [Levi] |
| |
1 |
| Charatonik, Podelski [Nipkow] |
| |
1 |
| Charatonik, Podelski [Steffen] |
| |
1 |
| Charatonik, Podelski [Winskel] |
| |
1 |
| Charatonik, Podelski, Talbot [-] |
| |
1 |
| Charatonik, Talbot [Talbot, Tison] |
| |
1 |
| Charatonik, Talbot [Talbot] |
| |
1 |
| Chaudhuri, Dimopoulos, Zaroliagis [-] |
| |
1 |
| |
1 |
| Chu, Plaisted [Chu] |
| |
1 |
| Claus, Hopf, Schwefel (ed.) [Claus, Schwefel] |
| |