A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices.
Martin Huschenbett: A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices. NCMA 2010: 99-111
View ArticleModels for Quantitative Distributed Systems and Multi-Valued Logics.
Martin Huschenbett: Models for Quantitative Distributed Systems and Multi-Valued Logics. LATA 2011: 310-322
View ArticleA Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices.
Martin Huschenbett: A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices. Fundam. Informaticae 112(2-3): 171-191 (2011)
View ArticleThe Rank of Tree-Automatic Linear Orderings.
Martin Huschenbett: The Rank of Tree-Automatic Linear Orderings. CoRR abs/1204.3048 (2012)
View ArticleWord Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable.
Martin Huschenbett: Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable. CoRR abs/1201.5070 (2012)
View ArticleWord Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable.
Martin Huschenbett: Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable. CiE 2012: 313-322
View ArticleEhrenfeucht-Fraisse Games on Omega-Terms.
Martin Huschenbett, Manfred Kufleitner: Ehrenfeucht-Fraisse Games on Omega-Terms. CoRR abs/1310.3195 (2013)
View ArticleThe Rank of Tree-Automatic Linear Orderings.
Martin Huschenbett: The Rank of Tree-Automatic Linear Orderings. STACS 2013: 586-597
View ArticleA Polychromatic Ramsey Theory for Ordinals.
Martin Huschenbett, Jiamou Liu: A Polychromatic Ramsey Theory for Ordinals. MFCS 2013: 559-570
View ArticleModels for quantitative distributed systems and multi-valued logics.
Martin Huschenbett: Models for quantitative distributed systems and multi-valued logics. Int. J. Comput. Math. 90(6): 1223-1246 (2013)
View ArticleTree-Automatic Well-Founded Trees.
Martin Huschenbett, Alexander Kartzow, Jiamou Liu, Markus Lohrey: Tree-Automatic Well-Founded Trees. Log. Methods Comput. Sci. 9(2) (2013)
View ArticleThe monoid of queue actions.
Martin Huschenbett, Dietrich Kuske, Georg Zetzsche: The monoid of queue actions. CoRR abs/1404.5479 (2014)
View ArticleEhrenfeucht-Fraïssé Games on Omega-Terms.
Martin Huschenbett, Manfred Kufleitner: Ehrenfeucht-Fraïssé Games on Omega-Terms. STACS 2014: 374-385
View ArticleThe Monoid of Queue Actions.
Martin Huschenbett, Dietrich Kuske, Georg Zetzsche: The Monoid of Queue Actions. MFCS (1) 2014: 340-351
View ArticleThe model-theoretic complexity of automatic linear orders.
Martin Huschenbett: The model-theoretic complexity of automatic linear orders. Technische Universität Ilmenau, Germany, 2016, ISBN 978-3-86360-127-0, pp. 1-228
View ArticlePumping for ordinal-automatic structures.
Martin Huschenbett, Alexander Kartzow, Philipp Schlicht: Pumping for ordinal-automatic structures. Comput. 6(2): 125-164 (2017)
View ArticleDaml: A Smart Contract Language for Securely Automating Real-World...
Alexander Bernauer, Sofia Faro, Rémy Haemmerle, Martin Huschenbett, Moritz Kiefer, Andreas Lochbihler, Jussi Mäki, Francesco Mazzoli, Simon Meier, Neil Mitchell, Ratko G. Veprek: Daml: A Smart Contract...
View Article
More Pages to Explore .....