BDD-Based Decision Procedures for K

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

BDD-Based Decision Procedures for K

G. PanG. Pan,  Ulrike SattlerUlrike Sattler,  M. Y. VardiM. Y. Vardi
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
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},
}