Automata-Theoretic Decision Procedures for Information Logics

From International Center for Computational Logic

Toggle side column

Automata-Theoretic Decision Procedures for Information Logics

S. DemriS. Demri,  Ulrike SattlerUlrike Sattler
S. Demri, Ulrike Sattler
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae, 53(1):1-22, 2002
@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},
}