Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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
1	Rahman, Rückert, Fischmann
4	Ratschan
		2006		Efficient Solving of Quantified Inequality Constraints over the Real Numbers In: ACM Transactions on Computational Logic [7], 723-748	Journal Article
		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	Proceedings Article
		2004		Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers In: ACM Transactions on Computational Logic [5], 264-281	Journal Article
		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	Proceedings Article
3	Ratschan, She
1	Ratschan, Smaus
1	Ratschan, Vehi
1	Rau
1	Reinold
1	Rock
2	Rybalchenko
1	Rybalchenko, Sofronie-Stokkermans
1	Schäf
1	Schlobach
9	Schmidt
1	Schmidt, Hustadt
1	Schmidt, Orłowska, Hustadt
4	Schmidt, Tishkovsky
2	Schmidt, Tishkovsky, Hustadt
1	Schmolzi
1	She, Ratschan
1	She, Xia, Xiao
1	Simon, Freiheit, Olbrich
1	Smaus
8	Socher-Ambrosius
27	Sofronie-Stokkermans
1	Sofronie-Stokkermans, Stokkermans
4	Struth

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