1![Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls](https://www.pdfsearch.io/img/2c5131cb85e6d4044b0fb974ed5e2db7.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2010-07-28 04:32:18
|
---|
2![Semiring-Based Constraint Satisfaction and Optimization STEFANO BISTARELLI, UGO MONTANARI, AND FRANCESCA ROSSI University of Pisa, Pisa, Italy Semiring-Based Constraint Satisfaction and Optimization STEFANO BISTARELLI, UGO MONTANARI, AND FRANCESCA ROSSI University of Pisa, Pisa, Italy](https://www.pdfsearch.io/img/6c80c09370b265a9f5f29d82efc5a0f4.jpg) | Add to Reading ListSource URL: pdfs.semanticscholar.org- Date: 2015-07-28 19:52:53
|
---|
3![Contemporary Mathematics First Steps in Tropical Geometry J¨ urgen Richter-Gebert, Bernd Sturmfels, and Thorsten Theobald Abstract. Tropical algebraic geometry is the geometry of the tropical semiring ( , min, +). Its Contemporary Mathematics First Steps in Tropical Geometry J¨ urgen Richter-Gebert, Bernd Sturmfels, and Thorsten Theobald Abstract. Tropical algebraic geometry is the geometry of the tropical semiring ( , min, +). Its](https://www.pdfsearch.io/img/26b4fd0abb56ced537b3c7808bd74bec.jpg) | Add to Reading ListSource URL: www.math.uni-frankfurt.de- Date: 2006-12-30 13:09:43
|
---|
4![773 Documenta Math. Quadratic and Symmetric Bilinear Forms on Modules with Unique Base over a Semiring 773 Documenta Math. Quadratic and Symmetric Bilinear Forms on Modules with Unique Base over a Semiring](https://www.pdfsearch.io/img/a92880712ed27858ef0e333897248b23.jpg) | Add to Reading ListSource URL: documenta.sagemath.orgLanguage: English - Date: 2016-07-19 13:30:32
|
---|
5![IN DEFENSE OF “MINDLESS ROTE” Ethan Akin Mathematics Department The City College 137 Street and Convent Avenue IN DEFENSE OF “MINDLESS ROTE” Ethan Akin Mathematics Department The City College 137 Street and Convent Avenue](https://www.pdfsearch.io/img/000032e3ee7d2429edb76e969f4e08fa.jpg) | Add to Reading ListSource URL: www.nonpartisaneducation.orgLanguage: English - Date: 2015-07-25 13:44:20
|
---|
6![Formal Methods in Manufacturing Formal Methods in Manufacturing](https://www.pdfsearch.io/img/728b602d974e08099ec3d4e989ba9a48.jpg) | Add to Reading ListSource URL: www.control.tu-berlin.deLanguage: English - Date: 2015-03-26 12:20:58
|
---|
7![Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers. Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers.](https://www.pdfsearch.io/img/0d9368140b375629d1da1a608ae958bc.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2016-07-08 05:39:59
|
---|
8![773 Documenta Math. Quadratic and Symmetric Bilinear Forms on Modules with Unique Base over a Semiring 773 Documenta Math. Quadratic and Symmetric Bilinear Forms on Modules with Unique Base over a Semiring](https://www.pdfsearch.io/img/e723d7701a1ed2e744357f79d70bc800.jpg) | Add to Reading ListSource URL: www.math.uiuc.eduLanguage: English - Date: 2016-07-19 13:30:32
|
---|
9![](https://www.pdfsearch.io/img/422b17daf5449de695d9e67d76e5fadd.jpg) | Add to Reading ListSource URL: thomas.deselaers.deLanguage: English - Date: 2014-10-11 09:29:37
|
---|
10![TRANSITIVE CLOSURE AND RELATED SEMIRING PROPERTIES VIA ELIMINANTS S. Kamal Abdali∗ Computer Science and Engineering Department Univesity of Petroleum and Minerals Dhahran, Saudi Arabia TRANSITIVE CLOSURE AND RELATED SEMIRING PROPERTIES VIA ELIMINANTS S. Kamal Abdali∗ Computer Science and Engineering Department Univesity of Petroleum and Minerals Dhahran, Saudi Arabia](https://www.pdfsearch.io/img/872dfdf6c8c7592b8cd897a7f248bb4a.jpg) | Add to Reading ListSource URL: geomete.comLanguage: English - Date: 2008-02-14 01:37:46
|
---|