# | | Year | | Title | Type | |
1 |
| Cantu, Bundy, Smaill, Basin [Cantu, Bundy, Smaill, Srivas, Camilleri] |
| |
1 |
| |
1 |
| Chadha, Plaisted [Chadha] |
| |
3 |
| |
1 |
| Charatonik [Smolka] |
| |
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 |
| Charatonik, Podelski [-] |
| |
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 |
| Christen [-] |
| |
1 |
| |
| | 1994 | | Semantically Guided First-Order Theorem Proving using Hyper-Linking
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 192-206 | Proceedings Article | |
1 |
| Claus, Hopf, Schwefel (ed.) [Claus, Schwefel] |
| |
1 |
| Cook, Gotsman, Podelski, Rybalchenko, Vardi [Cook, Gotsman, Podelski, Vardi, Hofmann, Felleisen] |
| |
1 |
| Cook, Podelski, Rybalchenko [Coo , Ball, Jones] |
| |