TPHOLs 2008 Proceedings

Category A: Full Research Papers

TPHOLs 2008 proceedings are published as Volume 5170 of Springer-Verlag's Lecture Notes in Computer Science.

Bibliographical Information

@proceedings{tphols2008a,
  editor    = {Otmane Ait Mohamed, César Muñoz and Sofiène Tahar},
  title     = {Theorem Proving in Higher Order Logics, 21th International
               Conference, TPHOLs 2008, Montreal, Canada, August
               18-21, 2008, Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5170},
  year      = {2008}
}

Category B: Emerging Trends

Bibliographical Information

@techreport{tphols2008b,
  title = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings},
  editor = {Otmane Ait Mohamed, César Muñoz and Sofiène Tahar},
  month = 08,
  year = 2008,
  institution = {Department of Electrical Computer Engineering, Concordia University},
  number = {2008-1-Ait Mohamed}
}