BDD-Based Decision Procedures for K

G. PanG. Pan, Ulrike SattlerUlrike Sattler, M. Y. VardiM. Y. Vardi

Datei:PanSattlerVardi-CADE2002.ps.gz

Download

G. Pan, Ulrike Sattler, M. Y. Vardi
BDD-Based Decision Procedures for K
Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence, 2002. Springer

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ PanSattlerVardi-CADE2002,
  author = {G. {Pan} and U. {Sattler} and M. Y. {Vardi}},
  booktitle = {Proceedings of the Conference on Automated Deduction},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {BDD-Based Decision Procedures for K},
  volume = {2392},
  year = {2002},
}