MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

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
YearTitleBibTeX cite key
Show details for OhlbachOhlbach
Show details for Ohlbach, HerzigOhlbach, Herzig
Show details for Ohlbach, KoehlerOhlbach, Koehler
Show details for Ohlbach, SchmidtOhlbach, Schmidt
Show details for Ohlbach, Schmidt, HustadtOhlbach, Schmidt, Hustadt
Show details for Ohlbach, SiekmannOhlbach, Siekmann
Show details for Ohlbach, WeidenbachOhlbach, Weidenbach
Show details for Pacholski, PodelskiPacholski, Podelski
Show details for PiskacPiskac
Show details for PlaistedPlaisted
Show details for Pnueli, Podelski, RybalchenkoPnueli, Podelski, Rybalchenko
Show details for PodelskiPodelski
Show details for Podelski (ed.)Podelski (ed.)
Show details for Podelski, Ball, RajamaniPodelski, Ball, Rajamani
Show details for Podelski, Charatonik, MüllerPodelski, Charatonik, Müller
Show details for Podelski, RybalchenkoPodelski, Rybalchenko
Show details for Podelski, Rybalchenko, CookPodelski, Rybalchenko, Cook
Show details for Podelski, Schaefer, WagnerPodelski, Schaefer, Wagner
Show details for Podelski, SmolkaPodelski, Smolka
Show details for Podelski, WagnerPodelski, Wagner
Show details for Podelski, WiesPodelski, Wies
Show details for PrevostoPrevosto
Show details for Prevosto, BoulméPrevosto, Boulmé
Show details for Prevosto, WaldmannPrevosto, Waldmann
Show details for Rahman, Rückert, FischmannRahman, Rückert, Fischmann
Hide details for RatschanRatschan
2006Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748		Ratschan2005a
2005Solving 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
2004Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers
In: ACM Transactions on Computational Logic [5], 264-281		Ratschan2004b
2003Solving 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

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