search result

Cover von Row and Bounded Polymorphism via Disjoint Polymorphism

Row and Bounded Polymorphism via Disjoint Polymorphism

Year: 2020
Media group: LIPIcs
Cover von Building Trust for Continuous Variable Quantum States

Building Trust for Continuous Variable Quantum States

Year: 2020
Media group: LIPIcs
Cover von Every Set in P Is Strongly Testable Under a Suitable Encoding

Every Set in P Is Strongly Testable Under a Suitable Encoding

Year: 2018
Media group: LIPIcs
Cover von Brain Informatics
International Conference, BI 2018, Arlington, TX, USA, December 7 - 9, 2018, Proceedings
Author: Wang, Shouyi; Yamamoto, Vicky Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 11309
Media group: MONOGRAPHIE
Cover von Algebraic Effect Handlers go Mainstream; 4
pp. 104 - 125
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
Cover von The Essence of Nested Composition

The Essence of Nested Composition

Year: 2018
Media group: LIPIcs
Cover von An Exponential Separation Between MA and AM Proofs of Proximity

An Exponential Separation Between MA and AM Proofs of Proximity

Year: 2018
Media group: LIPIcs
Cover von Relaxed Locally Correctable Codes

Relaxed Locally Correctable Codes

Year: 2018
Media group: LIPIcs
Cover von An Adaptivity Hierarchy Theorem for Property Testing

An Adaptivity Hierarchy Theorem for Property Testing

Year: 2017
Media group: LIPIcs
Cover von Artificial General Intelligence
10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10414
Media group: MONOGRAPHIE
OPEN V 11.1.0.0