1![Confluence Reduction for Markov Automata∗ Mark Timmer Jaco van de Pol Mari¨elle Stoelinga Confluence Reduction for Markov Automata∗ Mark Timmer Jaco van de Pol Mari¨elle Stoelinga](https://www.pdfsearch.io/img/78b026a08ca47134e1e4a315f5ba719b.jpg) | Add to Reading ListSource URL: qapl2013.units.itLanguage: English - Date: 2013-03-26 07:49:25
|
---|
2![](/pdf-icon.png) | Add to Reading ListSource URL: sacpweb.org- Date: 2015-05-19 17:31:41
|
---|
3![Certified Non-Confluence with ConCon 1.5? Thomas Sternagel Christian Sternagel University of Innsbruck, Austria Certified Non-Confluence with ConCon 1.5? Thomas Sternagel Christian Sternagel University of Innsbruck, Austria](https://www.pdfsearch.io/img/0d0ac1e9ab7e03159ae4277ad5a7a711.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.at- Date: 2017-09-12 04:41:19
|
---|
4![B¨ohm Reduction for Terms and Term Graphs Confluence in Infinitary Rewriting Patrick Bahr IT University of Copenhagen B¨ohm Reduction for Terms and Term Graphs Confluence in Infinitary Rewriting Patrick Bahr IT University of Copenhagen](https://www.pdfsearch.io/img/7c68bf8a937e1c721ae041be33cccc7b.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.at- Date: 2017-09-12 04:41:19
|
---|
5![CoCoWeb A Convenient Web Interface for Confluence Tools∗ Julian Nagele and Aart Middeldorp Department of Computer Science, University of Innsbruck, Austria {julian.nagele,aart.middeldorp}@uibk.ac.at CoCoWeb A Convenient Web Interface for Confluence Tools∗ Julian Nagele and Aart Middeldorp Department of Computer Science, University of Innsbruck, Austria {julian.nagele,aart.middeldorp}@uibk.ac.at](https://www.pdfsearch.io/img/47a26ea00c924d12d7ab7ffdb14e09b8.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.at- Date: 2017-09-12 04:41:19
|
---|
6![CoCoWeb A Convenient Web Interface for Confluence Tools Julian Nagele Aart Middeldorp CoCoWeb A Convenient Web Interface for Confluence Tools Julian Nagele Aart Middeldorp](https://www.pdfsearch.io/img/f1346f812e64c779d68dd8dd431979b6.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.at- Date: 2017-09-12 04:41:19
|
---|
7![IWC 2016 5th International Workshop on Confluence Proceedings Editors: Beniamino Accattoli & Ashish Tiwari IWC 2016 5th International Workshop on Confluence Proceedings Editors: Beniamino Accattoli & Ashish Tiwari](https://www.pdfsearch.io/img/9a7ebbce03e784ae34c1e818ac6e62ec.jpg) | Add to Reading ListSource URL: www.csl.sri.com- Date: 2016-08-29 19:07:14
|
---|
8![Confluence and Convergence in Probabilistically Terminating Reduction Systems Maja H. Kirkeby Henning Christiansen Confluence and Convergence in Probabilistically Terminating Reduction Systems Maja H. Kirkeby Henning Christiansen](https://www.pdfsearch.io/img/66ef942bfd352c4cd2733184159a0255.jpg) | Add to Reading ListSource URL: www.sci.unich.it- Date: 2017-10-23 05:15:19
|
---|
9![A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017 A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017](https://www.pdfsearch.io/img/17be99e86b5e6b8eb9311a4d4671b15d.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.at- Date: 2017-09-12 04:41:19
|
---|
10![6th International Confluence Competition Takahito Aoto Nao Hirokawa Julian Nagele 6th International Confluence Competition Takahito Aoto Nao Hirokawa Julian Nagele](https://www.pdfsearch.io/img/47b19401cea8f8a664e9971e0c2af82e.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.at- Date: 2017-09-12 04:41:19
|
---|