Automata-Theoretic Decision Procedures for Information Logics

PublikationenPublications

• Nach AutorBy Author
  • Ulrike SattlerUlrike Sattler
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Automata-Theoretic Decision Procedures for Information Logics

S. DemriS. Demri,  Ulrike SattlerUlrike Sattler

Datei:DemriSattler-FI02.ps.gz

• Download

S. Demri, Ulrike Sattler
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae, 53(1):1-22, 2002

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@article{ DemriSattlerFI-02,
  author = {S. {Demri} and U. {Sattler}},
  journal = {Fundamenta Informaticae},
  number = {1},
  pages = {1--22},
  title = {Automata-Theoretic Decision Procedures for Information Logics},
  volume = {53},
  year = {2002},
}