First Page | Document Content | |
---|---|---|
Date: 2015-03-02 09:06:39Mathematical analysis Ergodic theory Differential topology Mathematics Computability theory Lie algebras Non-associative algebras Hopf decomposition Orbifold | Proving Non-termination Using Max-SMT? Daniel Larraz1 , Kaustubh Nimkar2 , Albert Oliveras1 , Enric Rodr´ıguez-Carbonell1 , and Albert Rubio1 1 Universitat Polit`ecnica de Catalunya, BarcelonaAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source WebsiteFile Size: 152,25 KBShare Document on Facebook |