search result

Cover von A Mechanized First-Order Theory of Algebraic Data Types with Pattern Matching

A Mechanized First-Order Theory of Algebraic Data Types with Pattern Matching

Year: 2025
Media group: LIPIcs
Cover von Mechanized Undecidability of Higher-Order Beta-Matching

Mechanized Undecidability of Higher-Order Beta-Matching

Year: 2025
Media group: LIPIcs
Cover von Parameterized Algorithms for Matching Integer Programs with Additional Rows and Columns

Parameterized Algorithms for Matching Integer Programs with Additional Rows and Columns

Year: 2025
Media group: LIPIcs
Cover von Faster Approximate Elastic-Degenerate String Matching - Part B

Faster Approximate Elastic-Degenerate String Matching - Part B

Year: 2025
Media group: LIPIcs
Cover von Faster Approximate Elastic-Degenerate String Matching - Part A

Faster Approximate Elastic-Degenerate String Matching - Part A

Year: 2025
Media group: LIPIcs
Cover von Extending the Burrows-Wheeler Transform for Cartesian Tree Matching and Constructing It

Extending the Burrows-Wheeler Transform for Cartesian Tree Matching and Constructing It

Year: 2025
Media group: LIPIcs
Cover von Pattern Matching on Run-Length Grammar-Compressed Strings in Linear Time

Pattern Matching on Run-Length Grammar-Compressed Strings in Linear Time

Year: 2025
Media group: LIPIcs
Cover von On b-Matching and Fully-Dynamic Maximum k-Edge Coloring

On b-Matching and Fully-Dynamic Maximum k-Edge Coloring

Year: 2025
Media group: LIPIcs
Cover von Deterministic Approximation for the Volume of the Truncated Fractional Matching Polytope

Deterministic Approximation for the Volume of the Truncated Fractional Matching Polytope

Year: 2025
Media group: LIPIcs
Cover von Fast, Fair and Truthful Distributed Stable Matching for Common Preferences

Fast, Fair and Truthful Distributed Stable Matching for Common Preferences

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0