Confluence - PDFSEARCH.IO - Document Search Engine

Confluence
Results: 492

#	Item
1	Confluence Reduction for Markov Automata∗ Mark Timmer Jaco van de Pol Mari¨elle Stoelinga Add to Reading List Source URL: qapl2013.units.it Language: English - Date: 2013-03-26 07:49:25
2	Confluence: Online Journal of World Philosophies (http://www.verlag-alber.de/e-journals/confluence/) Confluence documents initiatives in institutions of higher education aimed at facilitating teaching and/or research in Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source URL: cl-informatik.uibk.ac.at - Date: 2017-09-12 04:41:19
10	6th International Confluence Competition Takahito Aoto Nao Hirokawa Julian Nagele Add to Reading List Source URL: cl-informatik.uibk.ac.at - Date: 2017-09-12 04:41:19