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 Tight Simulation of a Distribution Using Conditional Samples

Tight Simulation of a Distribution Using Conditional Samples

Year: 2026
Media group: LIPIcs
Cover von Evidence-Tracked Tape Semantics for Probabilistic Computation

Evidence-Tracked Tape Semantics for Probabilistic Computation

Year: 2026
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 When Local and Non-Local Meet

When Local and Non-Local Meet

Quadratic Improvement for Edge Estimation with Independent Set Queries
Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0