Special section on formal approach

Veröffentlicht 2010

Reactive Synthesis from Visibly Register Pushdown Automata

von Senda, Ryoma
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

An Ambiguity Hierarchy of Weighted Context-Free Grammars

von Inoue, Yusuke
Veröffentlicht in CIAA (26. : 2022 : Rouen) Implementation and application of automata (2022)

˜Theœ mathematics of language : 12th biennial conference ; proceedings

Veröffentlicht 2011

Active Learning for Deterministic Bottom-Up Nominal Tree Automata

von Nakanishi, Rindo
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

Intermittent balloon catheterization

Veröffentlicht 2002