Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

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

#		Year		Title	Type
2	Podelski, Smolka [-]
		1995		Operational Semantics of Constraint Logic Programming with Coroutining In: Proceedings of the 12th International Conference on Logic Programming, 449-463	Proceedings Article
		1995		Situated Simplification In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), 328-344	Proceedings Article
1	Podelski, Smolka [Smolka]
1	Podelski, Wagner [Hespanha, Tiwari]
2	Podelski, Wagner [Podelski]
1	Podelski, Wies [Hankin, Siveroni]
1	Prevosto [Coquand, Lombardi, Roy]
1	Prevosto, Boulmé [Boulmé, Urzyczyn]
1	Prevosto, Waldmann [Prevosto, Sutcliffe, Schmidt, Schulz]
1	Rahman, Rückert, Fischmann [Rahman, Rückert]
2	Ratschan [-]
1	Ratschan [Dolzmann, Seidl, Sturm]
1	Ratschan [Rossi]
2	Ratschan, She [-]
1	Ratschan, She [Calmet, Ida, Wang]
1	Ratschan, Smaus [Smaus, Cassandras, Giua, Seatzu, Zaytoon]
1	Ratschan, Vehi [Bittanti]
1	Rau [-]
1	Reinold [-]
1	Rock [-]
1	Rybalchenko [-]
1	Rybalchenko [Malkis, Podelski, Filé, Nielson]
1	Rybalchenko, Sofronie-Stokkermans [Cook, Podelski]
1	Schäf [-]
1	Schlobach [-]
6	Schmidt [-]
1	Schmidt [Böttner, Thümmel]
1	Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev]
1	Schmidt [Nipkow]

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