Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

Filter

فلترة النتائج

Publisher : open publishing association Subject : 01 natural sciences Subject : computational theory and mathematics Subject : condensed matter physics Subject : statistical and nonlinear physics فلترة بواسطة : موضوع

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Quantum Hoare Type Theory: Extended Abstract

Authors : Kartik Singhal; John Reppy

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Computer science

Source: QPL

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Gottesman Types for Quantum Programs

Authors : Robert Rand; Kartik Singhal; Brad Lackey

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Computer science

Source: Electronic Proceedings in Theoretical Computer Science. 340:279-290

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Hyper-decoherence in Density Hypercubes

Authors : Stefano Gogioso; James Hefford

Subjects: Quantum Physics; Quantum decoherence; Theoretical computer science

Source: Electronic Proceedings in Theoretical Computer Science. 340:141-159

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Universal Properties in Quantum Theory

Authors : Sam Staton; Mathieu Huot

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Phrase

Source: QPLElectronic Proceedings in Theoretical Computer Science, Vol 287, Iss Proc. QPL 2018, Pp 213-223 (2019)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Space in Monoidal Categories

Authors : Chris Heunen; Sean Tull; Pau Enrique Moliner

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Pure mathematics

Source: QPLMoliner, P E, Heunen, C & Tull, S 2017, Space in monoidal categories . in The 14th International Conference on Quantum Physics

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

The Category CNOT

Authors : Priyaa Varshinee Srinivasan; Robin Cockett; Cole Comfort

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Pure mathematics

Source: QPLElectronic Proceedings in Theoretical Computer Science, Vol 266, Iss Proc. QPL 2017, Pp 258-293 (2018)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Categorical Probabilistic Theories

Authors : Stefano Gogioso; Carlo Maria Scandolo

Subjects: Quantum Physics; Formalism (philosophy); Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 266, Iss Proc. QPL 2017, Pp 367-385 (2018)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Quantum Theory is a Quasi-stochastic Process Theory

Authors : J.M.M. van de Wetering

Subjects: Physics; Quantum Physics; Stochastic process

Source: Electronic Proceedings in Theoretical Computer Science, 266, pp. 179-196Electronic Proceedings in Theoretical Computer Science, 179-196

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Uniqueness of Composition in Quantum Theory and Linguistics

Authors : Dan Marsden; Robin Piedeleu; Stefano Gogioso

Subjects: FOS: Physical sciences; 0102 computer and information sciences; 01 natural sciences

Source: Electronic Proceedings in Theoretical Computer Science, Vol 266, Iss Proc. QPL 2017, Pp 249-257 (2018)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras

Authors : Peter-Michael Seidel; Dusko Pavlovic

Subjects: FOS: Computer and information sciences; Class (set theory); Computer Science - Logic in Computer Science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 236, Iss Proc. QPL 2016, Pp 145-160 (2017)QPL

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي