search result

Cover von Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata

Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata

Year: 2020
Media group: LIPIcs
Cover von Finite Sequentiality of Unambiguous Max-Plus Tree Automata

Finite Sequentiality of Unambiguous Max-Plus Tree Automata

Year: 2019
Media group: LIPIcs
Cover von The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable

The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable

Year: 2017
Media group: LIPIcs
Cover von Monitor Logics for Quantitative Monitor Automata

Monitor Logics for Quantitative Monitor Automata

Year: 2017
Media group: LIPIcs
Cover von A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic

A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic

Year: 2018
Media group: LIPIcs
Cover von Logical Characterizations of Weighted Complexity Classes

Logical Characterizations of Weighted Complexity Classes

Year: 2024
Media group: LIPIcs
Cover von Weighted HOM-Problem for Nonnegative Integers

Weighted HOM-Problem for Nonnegative Integers

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0