Pfenning, Frank (ed.) Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. (English) Zbl 1258.68013 Lecture Notes in Computer Science 7794. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). xxiii, 451 p. (2013). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{F. Pfenning} (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings. Berlin: Springer (2013; Zbl 1258.68013) Full Text: DOI
Pfenning, Frank (ed.) Automated deduction – CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17–20, 2007. Proceedings. (English) Zbl 1122.68008 Lecture Notes in Computer Science 4603. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-73594-6/pbk). xii, 522 p. (2007). MSC: 68-06 03-06 68T15 03B35 00B25 PDFBibTeX XMLCite \textit{F. Pfenning} (ed.), Automated deduction -- CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17--20, 2007. Proceedings. Berlin: Springer (2007; Zbl 1122.68008) Full Text: DOI
Pfenning, Frank (ed.) Term rewriting and applications. 17th international conference, RTA 2006, Seattle, WA, USA, August 12–14, 2006. Proceedings. (English) Zbl 1113.68009 Lecture Notes in Computer Science 4098. Berlin: Springer (ISBN 978-3-540-36834-2/pbk). xiii, 415 p. (2006). MSC: 68-06 68Q42 68T15 00B25 PDFBibTeX XMLCite \textit{F. Pfenning} (ed.), Term rewriting and applications. 17th international conference, RTA 2006, Seattle, WA, USA, August 12--14, 2006. Proceedings. Berlin: Springer (2006; Zbl 1113.68009) Full Text: DOI
Abadi, Martín (ed.); Libkin, Leonid (ed.); Pfenning, Frank (ed.) Editorial. (English) Zbl 1365.00046 ACM Trans. Comput. Log. 3, No. 3, 335 (2002). MSC: 00B25 03-06 68-06 PDFBibTeX XMLCite \textit{M. Abadi} (ed.) et al., ACM Trans. Comput. Log. 3, No. 3, 335 (2002; Zbl 1365.00046) Full Text: DOI
Pfenning, Frank (ed.) LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. (English) Zbl 1270.03023 Electronic Notes in Theoretical Computer Science 70, No. 2. Amsterdam: Elsevier. 1-146, electronic only (2002). MSC: 03-06 68-06 00B25 03B70 68N30 PDFBibTeX XMLCite \textit{F. Pfenning} (ed.), LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier (2002; Zbl 1270.03023) Full Text: Link
Pfenning, Frank (ed.) Special issue: Formal proof. (English) Zbl 0937.00019 J. Autom. Reasoning 23, No. 3-4, 195-504 (1999). MSC: 00B15 68-06 PDFBibTeX XMLCite \textit{F. Pfenning} (ed.), J. Autom. Reasoning 23, No. 3--4, 195--504 (1999; Zbl 0937.00019) Full Text: DOI
Pfenning, Frank (ed.); Sieg, Wilfried (ed.) Natural deduction. (English) Zbl 0953.00008 Stud. Log. 60, No. 1, 232 p. (1998). MSC: 00B15 03-06 PDFBibTeX XMLCite \textit{F. Pfenning} (ed.) and \textit{W. Sieg} (ed.), Stud. Log. 60, No. 1, 232~p. (1998; Zbl 0953.00008)
Pfenning, Frank (ed.) Logic programming and automated reasoning. 5th international conference, LPAR ’94, Kiev, Ukraine, July 16–22, 1994. Proceedings. (English) Zbl 0875.00092 Lecture Notes in Computer Science 822. Lecture Notes in Artificial Intelligence. Berlin: Springer. x, 345 p. DM 72.00; öS 561.60; sFr 72.00 /sc (1994). MSC: 00B25 68-06 68N17 68T15 PDFBibTeX XMLCite \textit{F. Pfenning} (ed.), Logic programming and automated reasoning. 5th international conference, LPAR '94, Kiev, Ukraine, July 16--22, 1994. Proceedings. Berlin: Springer (1994; Zbl 0875.00092)