Publications

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

#		Author/Editor	Year	Title
	[23]	S. Ratschan	2004	Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers In: ACM Transactions on Computational Logic [5], 264-281
	[24]	S. Ratschan	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
	[25]	S. Ratschan and J. Vehi	2004	Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328
	[26]	V. Sofronie-Stokkermans	2004	Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37
	[27]	V. Sofronie-Stokkermans	2003	Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators In: Journal of Symbolic Computation [36], 891-924
27