Dokumentenserver Fakultät für Mathematik und InformatikDokumentenserver Fakultät für Mathematik und Informatik

  • Login

Keyword search

More options

Guided search

Click a term to refine your current search.

Type of work

  • Research (2)
  • Thesis (2)

Organisation

  • IfI (4)

Language

  • English (3)
  • German (1)

Authors

: all » Huschenbett, Martin

Year

  • 2010 (3)
  • 2009 (1)

Discipline

  • MATH/INF/NAT (4)

Keywords

  • weighted automata (3)
  • formal power series (2)
  • multi-valued logics (2)
  • traces (2)
  • concurrency (1)
  • cut-point-theorem (1)
  • distributed systems (1)
  • quantitative model-checking (1)
  • quantum automata (1)
Home

Search: Huschenbett, Martin

4 results

Results

Authors Year Title Type Fulltext
Huschenbett, Martin 2010 A Kleene-Schützenberger theorem for trace series over bounded lattices Paper
Huschenbett, Martin 2010 A Kleene-Schützenberger theorem for trace series over bounded lattices Research
Huschenbett, Martin 2010 Models for Quantitative Distributed Systems and Multi-Valued Logics MSc pdf
Huschenbett, Martin 2009 Quantenautomaten und das Cut-Point-Theorem für beschränkte erkennbare Potenzreihen BSc pdf