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

	Year		Title	BibTeX cite key
Pacholski, Podelski
Piskac
Plaisted
Pnueli, Podelski, Rybalchenko
Podelski
Podelski (ed.)
Podelski, Ball, Rajamani
Podelski, Charatonik, Müller
Podelski, Rybalchenko
Podelski, Rybalchenko, Cook
Podelski, Schaefer, Wagner
Podelski, Smolka
Podelski, Wagner
Podelski, Wies
Prevosto
Prevosto, Boulmé
Prevosto, Waldmann
Rahman, Rückert, Fischmann
Ratschan
	2006		Efficient Solving of Quantified Inequality Constraints over the Real Numbers In: ACM Transactions on Computational Logic [7], 723-748	Ratschan2005a
	2005		Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, 213-216	Ratschan2005b
	2004		Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers In: ACM Transactions on Computational Logic [5], 264-281	Ratschan2004b
	2003		Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, 615-633	Ratschan2003
Ratschan, She
Ratschan, Smaus
Ratschan, Vehi
Rau
Reinold
Rock
Rybalchenko

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