Alternating Towers and Piecewise Testable Separators

PublikationenPublications

• Nach AutorBy Author
  • Michaël ThomazoMichaël Thomazo
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Alternating Towers and Piecewise Testable Separators

Stepan HolubStepan Holub,  Tomás MasopustTomás Masopust,  Michaël ThomazoMichaël Thomazo

Stepan Holub, Tomás Masopust, Michaël Thomazo
Alternating Towers and Piecewise Testable Separators
Technical Report, Technischen Universität Dresden, 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@techreport{HMT2014,
  author      = {Stepan Holub and Tom{\'{a}}s Masopust and Micha{\"{e}}l Thomazo},
  title       = {Alternating Towers and Piecewise Testable Separators},
  institution = {Technischen Universit{\"{a}}t Dresden},
  year        = {2014}
}