×

Found 254 Documents (Results 1–100)

Differential calculus with imprecise input and its logical framework. (English) Zbl 1528.06013

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 459-475 (2018).
MSC:  06B35 26A24
PDFBibTeX XMLCite
Full Text: DOI

The meet-continuity of \(L\)-semilattices. (English) Zbl 1395.68182

Luo, Mao-Kang (ed.) et al., Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2–6, 2017. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 333, 123-141 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Stable non-standard imprecise probabilities. (English) Zbl 1461.03022

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 436-445 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

A domain-theoretic approach to Brownian motion and general continuous stochastic processes. (English) Zbl 1395.68201

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 15, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras. (English) Zbl 1337.81041

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 289-307, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

A note on finitely derived information systems. (English) Zbl 1337.68161

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 49-59, electronic only (2014).
MSC:  68Q55 06B35
PDFBibTeX XMLCite
Full Text: DOI

Observationally-induced algebras in domain theory. (English) Zbl 1337.68158

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 21-37, electronic only (2014).
MSC:  68Q55 06B35
PDFBibTeX XMLCite
Full Text: DOI

Representations of algebraic domains and algebraic L-domains by information systems. (English) Zbl 1337.68163

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 117-129, electronic only (2014).
MSC:  68Q55 06B35
PDFBibTeX XMLCite
Full Text: DOI

Categorical duality theory: with applications to domains, convexity, and the distribution monad. (English) Zbl 1356.06010

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 500-520 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Full abstraction for nominal Scott domains. (English) Zbl 1301.68103

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 3-14 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Anatomy of a domain of continuous random variables. II. (English) Zbl 1264.68108

Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 225-245 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Spacetime geometry from causal structure and a measurement. (English) Zbl 1260.83073

Abramsky, Samson (ed.) et al., Mathematical foundations of information flow. Clifford lectures on information flow in physics, geometry, logic and computation, Tulane University, New Orleans, LA, USA, March 12–15, 2008. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4923-1/hbk). Proceedings of Symposia in Applied Mathematics 71, 213-232 (2012).
MSC:  83C75 06B35
PDFBibTeX XMLCite

Unsharp values, domains and topoi. (English) Zbl 1246.81017

Finster, Felix (ed.) et al., Quantum field theory and gravity. Conceptual and mathematical advances in the search for a unified framework. Papers based on the presentations at the conference, Regensburg, Germany, September 28 to October 1, 2010. Berlin: Springer (ISBN 978-3-0348-0042-6/hbk; 978-3-0348-0043-3/ebook). 65-96 (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Observationally-induced effect monads: upper and lower powerspace constructions. (English) Zbl 1342.68069

Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 105-119 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software