Did you mean: tomastomáš

search result

Cover von Formal Language Recognition with the Java Type Checker

Formal Language Recognition with the Java Type Checker

Year: 2016
Media group: LIPIcs
Cover von Recoverable and Detectable Self-Implementations of Swap

Recoverable and Detectable Self-Implementations of Swap

Year: 2024
Media group: LIPIcs
Cover von Brief Announcement

Brief Announcement

Recoverable and Detectable Self-Implementations of Swap
Year: 2023
Media group: LIPIcs
Cover von Refining the Adaptivity Notion in the Huge Object Model

Refining the Adaptivity Notion in the Huge Object Model

Year: 2024
Media group: LIPIcs
Cover von Bootstrapping Homomorphic Encryption via Functional Encryption

Bootstrapping Homomorphic Encryption via Functional Encryption

Year: 2023
Media group: LIPIcs
Cover von Functions-as-Constructors Higher-Order Unification

Functions-as-Constructors Higher-Order Unification

Year: 2016
Media group: LIPIcs
Cover von Monadic Second Order Finite Satisfiability and Unbounded Tree-Width

Monadic Second Order Finite Satisfiability and Unbounded Tree-Width

Year: 2016
Media group: LIPIcs
Cover von Improved Bounds for High-Dimensional Equivalence and Product Testing Using Subcube Queries

Improved Bounds for High-Dimensional Equivalence and Product Testing Using Subcube Queries

Year: 2024
Media group: LIPIcs
Cover von Support Testing in the Huge Object Model

Support Testing in the Huge Object Model

Year: 2024
Media group: LIPIcs
Cover von From Donkeys to Kings in Tournaments

From Donkeys to Kings in Tournaments

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0