Manfred Droste - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 11 von 13

)

[ ] Aperiodic Weighted Automata and Weighted First-Order...

arxiv.org

Title:Aperiodic Weighted Automata and Weighted First-Order Logic. Authors:Manfred Droste, Paul Gastin. (Submitted on 21 Feb (v1), last revised 30 Sep ...

Droste, Manfred [WorldCat Identities]

worldcat.org

Handbook of weighted automata by Manfred Droste( ) 22 editions published between and in English and Undetermined and held by 530 WorldCat member ...

Documents authored by Droste, Manfred - DROPSdagstuhl.de

drops.dagstuhl.de

von M Droste · Zitiert von: 2 — Manfred Droste, Sven Dziadek, and Werner Kuich. Published in: LIPIcs, Volume 182, 40th IARCS Annual Conference on Foundations of Software Technology and ...

Model-Checking of Linear-Time Properties in Multi-Valued Systemsarxiv.org › cs

arxiv.org

Authors:Yongming Li, Manfred Droste, Lihui Lei · Download PDF. Abstract: In this paper, we study model-checking of linear-time properties in multi-valued ...

Weighted omega-Restricted One Counter AutomataarXiv

arxiv.org

von M Droste · · Zitiert von: 2 — Authors:Manfred Droste, Werner Kuich · Download PDF. Abstract: Let S be a complete star-omega semiring and \Sigma be an alphabet.

Random constructions of countable abelian p-groups ...Queen Mary University of London

webspace.maths.qmul.ac.uk

Manfred Droste (Leipzig). By Ulm's theorem, countable reduced abelian p-groups are characterized, uniquely up to isomorphism, by their Ulm invariants.

Outer Automorphism Groups of Ordered Permutation GroupsarXiv

arxiv.org

von M Droste · · Zitiert von: 5 — Title:Outer Automorphism Groups of Ordered Permutation Groups. Authors:Manfred Droste, Saharon Shelah. Download a PDF of the paper titled ...

[ ] Bifinite Chu Spaces - arXivarxiv.org › cs

arxiv.org

Authors:Manfred Droste, Guo-Qiang Zhang · Download PDF. Abstract: This paper studies colimits of sequences of finite Chu spaces and their ramifications.