×

Found 17 Documents (Results 1–17)

Reasoning about cardinalities of relations with applications supported by proof assistants. (English) Zbl 1486.68105

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 290-306 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Relation-algebraic verification of Prim’s minimum spanning tree algorithm. (English) Zbl 1400.68155

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 51-68 (2016).
MSC:  68R10 05C22 05C85 68T15
PDFBibTeX XMLCite
Full Text: DOI

Two observations in dioid based model refinement. (English) Zbl 1364.68307

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 235-247 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Simple rectangle-based functional programs for computing reflexive-transitive closures. (English) Zbl 1330.68044

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 114-129 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field