Export\All to MPG RTF format...

Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications

MPI-INF RG1 Publications

Entries sorted by: 5. Year - 3. Two Years Ago - 2. MPG Jahrbuch Format

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

#edocLckAuthor/EditorYearTitleedoc identifier
1
Hide details for Veröffentlichungen der MitarbeiterVeröffentlichungen der Mitarbeiter
Kapur, Zhang, Horbach, Zhao, Lu, Nguyen2014Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, 189-228
9B7E306B52F84933C1257C6A003FE7A7-Horbach2013McCune
1

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