Technical Reports

2012

Bibtex Entry

@TechReport{BaOk-LTCS-12-01,
    author      = {Franz Baader and Alexander Okhotin},
    title       = {Solving Language Equations and Disequations Using Looping Tree Automata
                   with Colors},
    institution = {Chair of Automata Theory, Institute of Theoretical Computer Science,
                   Technische Universit{\"a}t Dresden},
    year        = 2012,
    type        = {LTCS-Report},
    number      = {12-01},
    address     = {Dresden, Germany},
    note        = {See http://lat.inf.tu-dresden.de/research/reports.html.},
}

Bibtex Entry

@TechReport{BaBM-LTCS-12-02,
  author      = {Franz Baader and Stefan Borgwardt and Barbara Morawska},
  title       = {{SAT} Encoding of Unification in {$\mathcal{ELH}_{R^+}$} w.r.t. Cycle-Restricted Ontologies},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  year        = 2012,
  type        = {LTCS-Report},
  number      = {12-02},
  address     = {Dresden, Germany},
  note        = {See http://lat.inf.tu-dresden.de/research/reports.html.}
}

Bibtex Entry

@TechReport{BaBM-LTCS-12-03,
  author      = {Franz Baader and Stefan Borgwardt and Barbara Morawska},
  title       = {Computing Minimal {$\mathcal{EL}$}-Unifiers is Hard},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  year        = 2012,
  type        = {LTCS-Report},
  number      = {12-03},
  address     = {Dresden, Germany},
  note        = {See http://lat.inf.tu-dresden.de/research/reports.html.}
}