×

Found 42 Documents (Results 1–42)

A Go-Up code construction from linear codes yielding additive codes for quantum stabilizer codes. (English) Zbl 07924297

Hoffman, Frederick (ed.) et al., Combinatorics, graph theory and computing. Proceedings of the 52nd Southeastern international conference, SEICCGTC 2021, virtual, Boca Raton, FL, USA, March 8–12, 2021. Singapore: Springer. Springer Proc. Math. Stat. 448, 443-464 (2024).
MSC:  94B05
Full Text: DOI

Probabilistic semantics and program analysis. (English) Zbl 1189.68030

Aldini, Alessandro (ed.) et al., Formal methods for quantitative aspects of programming languages. 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21–26, 2010. Advanced lectures. Berlin: Springer (ISBN 978-3-642-13677-1/pbk). Lecture Notes in Computer Science 6154, 1-42 (2010).
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software