%Collections and Conferences
%They are cross-referenced and must be given to BibTeX last.
%%Collections
@Proceedings{leuven92,
editor = "L, J, M. Claesen",
title = "Proceedings of the IFIP TC10/WG10.2 International
Workshop",
booktitle = "Higher Order Logic Theorem
Proving and its Applications",
year = 1992,
month = "September",
publisher = "North-Holland",
series = "IFIP Transactions",
number = " A-20",
note = "IFIP TC10/WG10.2 International Workshop"}
@Proceedings{cstoday,
editor = "Jan {van Leeuwen}",
title = "Computer Science Today: Recent Trends and Developments",
booktitle = "Computer Science Today: Recent Trends and Developments",
year = 1995,
publisher = "Springer",
series = "LNCS 1000"}
@book{handbk-lics2,
editor = "S. Abramsky and D. M. Gabbay and T. S. E. Maibaum",
title = "Handbook of Logic in Computer Science",
booktitle = "Handbook of Logic in Computer Science",
publisher = "Oxford University Press",
year = 1992,
volume = 2}
%WAS barwise77
@book{barwise-handbk,
editor = "J. Barwise",
title = "Handbook of Mathematical Logic",
booktitle = "Handbook of Mathematical Logic",
year = 1977,
publisher = NH}
@book{ben-putnam,
editor = "Paul Benacerraf and Hilary Putnam",
title = "Philosophy of Mathematics: Selected Readings",
booktitle = "Philosophy of Mathematics: Selected Readings",
publisher = CUP,
year = 1983,
edition = "2nd"}
@book{birtwistle88,
editor = "Graham Birtwistle and P. A. Subrahmanyam",
title = "{VLSI} Specification, Verification and Synthesis",
booktitle = "{VLSI} Specification, Verification and Synthesis",
publisher = "Kluwer Academic Publishers",
year = 1988}
@book{birtwistle89,
editor = "Graham Birtwistle and P. A. Subrahmanyam",
title = "Current Trends in Hardware Verification and Automated
Theorem Proving",
booktitle = "Current Trends in Hardware Verification and Automated
Theorem Proving",
publisher = "Springer",
year = 1989}
@book{bledsoe-fest,
title = "Automated Reasoning: Essays in Honor of {Woody Bledsoe}",
booktitle = "Automated Reasoning: Essays in Honor of {Woody Bledsoe}",
publisher = "Kluwer Academic Publishers",
year = 1991,
editor = "Robert S. Boyer"}
@book{degroot86,
editor = "Doug DeGroot and Gary Lindstrom",
title = "Logic Programming: Functions, Relations and Equations",
publisher = Prentice,
year = 1986}
@book{goedel-II,
title = "{Kurt G\"odel}: Collected Works",
booktitle = "{Kurt G\"odel}: Collected Works",
volume = "II",
editor = "S. Feferman and others",
publisher = "Oxford University Press",
year = 1990}
@book{hinchey-bowen,
title = "Applications of Formal Methods",
booktitle = "Applications of Formal Methods",
year = 1995,
editor = "Michael Hinchey and Jonathan P. Bowen",
URL = {http://www.comlab.ox.ac.uk/archive/formal-methods/afm-book.html},
isbn = {0-13-366949-1},
publisher = Prentice}
@book{hoare-shepherdson,
editor = "C. A. R. Hoare and J. C. Shepherdson",
title = "Mathematical Logic and Programming Languages",
booktitle = "Mathematical Logic and Programming Languages",
publisher = Prentice,
year = 1985}
@Book{hoare-jones89,
editor = "C. A. R. Hoare and C. B. Jones",
title = "Essays in Computing Science",
booktitle = "Essays in Computing Science",
publisher = Prentice,
year = 1989}
@book{milne86,
editor = "G. Milne and P. A. Subrahmanyam",
title = "Formal Aspects of VLSI Design",
booktitle = "Formal Aspects of VLSI Design",
publisher = "North-Holland",
year = 1986}
@book{minker88,
editor = "Jack Minker",
title = "Foundations of Deductive Databases and Logic Programming",
year = 1988,
publisher = "Morgan Kaufmann"}
@book{odifreddi90,
editor = "P. Odifreddi",
title = "Logic and Computer Science",
booktitle = "Logic and Computer Science",
publisher = "Academic Press",
year = 1990}
@book{turner90,
editor = {David Turner},
title = {Research Topics in Functional Programming},
booktitle = {Research Topics in Functional Programming},
year = 1990,
publisher = {Addison-Wesley}}
%%Conferences
%CADE
@Proceedings{cade5,
editor = "W. Bibel and R. Kowalski",
title = "5th " # CADE,
booktitle = "5th " # CADE,
year = 1980,
publisher = "Springer",
series = "LNCS 87"}
@Proceedings{cade7,
title = "7th " # CADE,
booktitle = "7th " # CADE,
year = 1984,
editor = "R. E. Shostak",
publisher = "Springer",
series = "LNCS 170"}
%WAS siekmann86
@proceedings{cade8,
editor = "J. H. Siekmann",
title = "8th " # CADE,
booktitle = "8th " # CADE,
year = 1986,
publisher = "Springer",
series = "LNCS 230"}
@proceedings{cade9,
editor = "E. Lusk and R. Overbeek",
title = "9th " # CADE,
booktitle = "9th " # CADE,
publisher = "Springer",
series = "LNCS 310",
year = 1988}
@proceedings{cade10,
editor = "Mark E. Stickel",
title = "10th " # CADE,
booktitle = "10th " # CADE,
year = 1990,
publisher = "Springer",
series = "LNAI 449"}
@proceedings{cade11,
editor = "Deepak Kapur",
title = "Automated Deduction --- {CADE}-11",
booktitle = "Automated Deduction --- {CADE}-11",
note = "11th international conference",
publisher = "Springer",
series = "LNAI 607",
year = 1992}
@Proceedings{cade12,
editor = "Alan Bundy",
title = "Automated Deduction --- {CADE}-12",
booktitle = "Automated Deduction --- {CADE}-12",
note = "12th international conference",
year = 1994,
series = "LNAI 814",
publisher = "Springer"}
@Proceedings{cade13,
editor = "Michael McRobbie and John Slaney",
title = "Automated Deduction --- {CADE}-13",
booktitle = "Automated Deduction --- {CADE}-13",
note = "13th international conference",
year = 1996,
series = "LNAI",
publisher = "Springer"}
%CAV
@Proceedings{cav92,
title = "Computer Aided Verification: Fourth International
Workshop, {CAV} '92",
booktitle = "Computer Aided Verification: Fourth International
Workshop, {CAV} '92",
year = "Published 1993",
editor = "G. v. Bochmann and D. K. Probst",
publisher = "Springer LNCS 663"}
@proceedings{colog88,
editor = {P. Martin-L\"of and G. Mints},
title = "COLOG-88: International Conference on Computer Logic",
booktitle = "COLOG-88: International Conference on Computer Logic",
year = "Published 1990",
publisher = "Springer",
organization = "Estonian Academy of Sciences",
address = "Tallinn",
series = "LNCS 417"}
@proceedings{extensions91,
editor = "Peter Schroeder-Heister",
title = "Extensions of Logic Programming",
booktitle = "Extensions of Logic Programming",
year = 1991,
series = "LNAI 475",
publisher = "Springer"}
%FME
@proceedings{fme93,
editor = "J. C. P. Woodcock and P. G. Larsen",
title = "FME '93: Industrial-Strength Formal Methods",
booktitle = "FME '93: Industrial-Strength Formal Methods",
year = 1993,
publisher = "Springer",
series = "LNCS 670"}
%UL 348:01.c.49.873
@proceedings{fme94,
editor = "Maurice Naftalin and Tim Denvir and Miquel Bertran",
title = "FME '94: Industrial Benefit of Formal Methods",
booktitle = "FME '94: Industrial Benefit of Formal Methods",
year = 1994,
publisher = "Springer",
series = "LNCS 873"}
%Functional Programming [Languages] and Computer Architecture
%Was kahn87
@Proceedings{fpca87,
title = FPLCA,
booktitle = FPLCA,
year = 1987,
editor = "Gilles Kahn",
publisher = "Springer",
series = "LNCS 274"}
@Proceedings{fpca95,
key = "FPCA",
title = FPCA,
booktitle = FPCA,
year = 1995,
publisher = "ACM Press"}
%Glasgow FP Workshops
@Proceedings{gfp91,
title = {Glasgow Workshop on Functional Programming},
booktitle = {Glasgow Workshop on Functional Programming},
year = 1991,
editor = {R. Heldal and C. Holst and P. Wadler},
publisher = {Springer},
annote = {2Y359, also [Univ. Lib.] 348:8.c.95.2613}}
%HUG: HOL User's Group
@Proceedings{hug93,
editor = "J. Joyce and C. Seger",
title = "Higher Order Logic Theorem Proving and Its
Applications: HUG '93",
booktitle = "Higher Order Logic Theorem Proving and Its
Applications: HUG '93",
year = {Published 1994},
publisher = "Springer",
series = "LNCS 780"}
@Proceedings{HUG94,
title = {Higher Order Logic Theorem Proving and Its Applications:
7th International Workshop},
booktitle = {Higher Order Logic Theorem Proving and Its
Applications: 7th International Workshop},
month = {September},
year = 1994,
editor = {Thomas F. Melham and Juanito Camilleri},
series = {LNCS 859},
place = {Valletta, Malta},
publisher = {Springer},
isbn = 3540584501}
@Misc{HUG94journal,
title = "{\it The Computer Journal}, Volume 38, Number 2.
{Special} Issue on
{{Higher Order Logic Theorem Proving and its Applications}}",
year = "1995",
key = "HOL"}
@Misc{FMSD93,
title = "{\it Formal Methods in System Design}, Volume 3, Number 1/2.
{Special} Issue on
{{Higher Order Logic Theorem Proving and its Applications}}",
month = "August",
year = "1993",
key = "HOL"}
@Misc{FMSD94,
title = "{\it Formal Methods in System Design}, Volume 5, Number 1/2.
{Special} Issue on
{{Higher Order Logic Theorem Proving and its Applications}}",
month = "July/August",
year = "1993",
key = "HOL"}
@Proceedings{HUG95,
title = {Higher Order Logic Theorem Proving and Its Applications
8th International Workshop},
booktitle = {Higher Order Logic Theorem Proving and Its
Applications: 8th International Workshop},
month = {September},
year = 1995,
editor = {E. Thomas Schubert and Phillip J. Windley and James
Alves-Foss},
series = {LNCS 971},
place = {Aspen Grove, Utah, USA},
publisher = {Springer},
isbn = 3540602755}
%Isabelle
@proceedings{isabelle-ws,
editor = {Lawrence C. Paulson},
title = {Proceedings of the First Isabelle Users Workshop},
booktitle = {Proceedings of the First Isabelle Users Workshop},
year = 1995,
series = {Technical Report 379},
organization = CUCL,
month = sep
}
%LICS
@proceedings{lics2,
title = "Second Annual Symposium on Logic in Computer Science",
booktitle = "Second Annual Symposium on Logic in Computer Science",
publisher = IEEE,
year = 1987}
@Proceedings{lics4,
title = "Fourth Annual Symposium on Logic in Computer Science",
booktitle = "Fourth Annual Symposium on Logic in Computer Science",
year = 1989,
publisher = IEEE}
@Proceedings{lics5,
title = "Fifth Annual Symposium on Logic in Computer Science",
booktitle = "Fifth Annual Symposium on Logic in Computer Science",
year = 1990,
publisher = IEEE}
@Proceedings{lics6,
title = "Sixth Annual Symposium on Logic in Computer Science",
booktitle = "Sixth Annual Symposium on Logic in Computer Science",
year = 1991,
publisher = IEEE}
@Proceedings{lics8,
editor = "M. Vardi",
title = "Eighth Annual Symposium on Logic in Computer Science",
booktitle = "Eighth Annual Symposium on Logic in Computer Science",
publisher = IEEE,
year = 1993}
@Proceedings{mfps93,
editor = "S. Brookes and M. Main and A. Melton and M.Mislove and
D. Schmidt",
title = "Mathematical Foundations of Programming Semantics.
Proceedings, 1993",
booktitle = "Mathematical Foundations of Programming Semantics.
Proceedings, 1993",
year = 1994,
publisher = "Springer",
series = "LNCS 802"}
@Proceedings{mpc92,
title = "Mathematics of Program Construction: Second International
Conference",
booktitle = "Mathematics of Program Construction: Second International
Conference",
year = 1992,
editor = "R. S. Bird and C. C. Morgan and J. C. P. Woodcock",
publisher = "Springer",
series = "LNCS 669"}
%QED workshops
@Proceedings{qed95,
title = {QED Workshop II},
year = 1995,
editor = {Robert Boyer and Andrzej Trybulec},
publisher = {On the World Wide Web at \verb|http://www.mcs.anl.gov/qed/index.html|}
}
%TYPES and LF workshops
@book{huet-plotkin91,
editor = "{G\'erard} Huet and Gordon Plotkin",
title = "Logical Frameworks",
booktitle = "Logical Frameworks",
publisher = CUP,
year = 1991}
@book{huet-plotkin93,
editor = "{G\'erard} Huet and Gordon Plotkin",
title = "Logical Environments",
booktitle = "Logical Environments",
publisher = CUP,
year = 1993}
@book{types93,
editor = "Henk Barendregt and Tobias Nipkow",
title = TYPES # ": International Workshop {TYPES '93}",
booktitle = TYPES # ": International Workshop {TYPES '93}",
year = "published 1994",
publisher = "Springer",
series = "LNCS 806"}
@book{types94,
editor = "Peter Dybjer and Bengt Nordstr{\"om} and Jan Smith",
title = TYPES # ": International Workshop {TYPES '94}",
booktitle = TYPES # ": International Workshop {TYPES '94}",
year = "published 1995",
publisher = "Springer",
series = "LNCS 996"}
@Proceedings{tlca95,
editor = "M. Dezani-Ciancaglini and G. Plotkin",
title = "Typed Lambda Calculi and Applications: Second International
Conference",
booktitle = "Typed Lambda Calculi and Applications: Second International
Conference",
year = 1995,
publisher = "Springer",
series = "LNCS 902"}
@Proceedings{sdl5,
title = "Fifth {SDL} Forum Evolving Methods",
booktitle = "Fifth {SDL} Forum Evolving Methods",
year = 1991,
editor = "O. Faergemand and R. Reed",
publisher = NH}
@Proceedings{zum94,
title = {Z User Workshop},
booktitle = {Z User Workshop},
year = 1994,
editor = {J. P. Bowen and J. A. Hall},
series = {Workshops in Computing},
publisher = {Springer}}
@Proceedings{zum95,
title = {ZUM '95 : The Z Formal Specification Notation},
booktitle = {ZUM '95 : The Z Formal Specification Notation},
year = 1995,
editor = {Bowen, Jonathan P. and Hinchey, Michael G.},
series = {LNCS 967},
publisher = {Springer},
isbn = 3540602712}