search result

Cover von Asymptotic Rewriting (Invited Talk)

Asymptotic Rewriting (Invited Talk)

Year: 2023
Media group: LIPIcs
Cover von Probabilistic Rewriting

Probabilistic Rewriting

Normalization, Termination, and Unique Normal Forms
Year: 2019
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 380, LICS 2026, Complete Volume

LIPIcs, Volume 380, LICS 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 41st Annual Symposium on Logic in Computer Science
LICS 2026, Lisbon, Portugal, July 20-23, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 380
Media group: LIPIcs
Cover von Strategies for Asymptotic Normalization

Strategies for Asymptotic Normalization

Year: 2022
Media group: LIPIcs
Cover von A Rewriting Theory for Quantum λ-Calculus

A Rewriting Theory for Quantum λ-Calculus

Year: 2025
Media group: LIPIcs
Cover von The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic

The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic

Year: 2023
Media group: LIPIcs
Cover von Factorize Factorization

Factorize Factorization

Year: 2021
Media group: LIPIcs
Cover von Solvability in a Probabilistic Setting (Invited Talk)

Solvability in a Probabilistic Setting (Invited Talk)

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0