top

Automata-theoretic decision procedures for information logics

S. Demri and U. Sattler. Automata-theoretic decision procedures for information logics. Fundamenta Informaticae, 53(1):1–22, January 2002.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{demri03:_autom,
  author = {S. Demri and U. Sattler},
  title = {Automata-theoretic decision procedures for information logics},
  journal = {Fundamenta Informaticae},
  year = {2002},
  volume = {53},
  pages = {1--22},
  number = {1},
  month = {January},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33