×

Found 24 Documents (Results 1–24)

100
MathJax

From qualitative to quantitative semantics. By change of base. (English) Zbl 06720982

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 36-52 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Complete positivity and natural representation of quantum computations. (English) Zbl 1351.68147

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 369-385, electronic only (2015).
MSC:  68Q55 81P68
PDF BibTeX XML Cite
Full Text: DOI

Semantics of higher-order recursion schemes. (English) Zbl 1239.68041

Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 49-63 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Term equational systems and logics (extended abstract). (English) Zbl 1286.03120

Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 171-192 (2008).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Software