Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/manual.bib
changeset 13009 fcbc9e506a63
parent 12901 4570584fbda9
child 13141 f4ed10eaaff8
equal deleted inserted replaced
13008:8cbc5f0eee24 13009:fcbc9e506a63 
   163   title =        {Executing Higher Order Logic},
 
   163   title =        {Executing Higher Order Logic},
 
   164   booktitle =    {Types for Proofs and Programs: TYPES'2000},
 
   164   booktitle =    {Types for Proofs and Programs: TYPES'2000},
 
   165   editor =       {P. Callaghan and Z. Luo and J. McKinna and R. Pollack},
 
   165   editor =       {P. Callaghan and Z. Luo and J. McKinna and R. Pollack},
 
   166   series =       LNCS,
 
   166   series =       LNCS,
 
   167   publisher =    Springer,
 
   167   publisher =    Springer,
 
   168   note =         {To appear},
 
   168   volume =       2277,
 
   169   year =         2002}
 
   169   year =         2002}
 
   170 
   170 
   171 @InProceedings{Berghofer-Wenzel:1999:TPHOL,
 
   171 @InProceedings{Berghofer-Wenzel:1999:TPHOL,
 
   172   author = 	 {Stefan Berghofer and Markus Wenzel},
 
   172   author = 	 {Stefan Berghofer and Markus Wenzel},
 
   173   title = 	 {Inductive datatypes in {HOL} --- lessons learned in
 
   173   title = 	 {Inductive datatypes in {HOL} --- lessons learned in
 
  1365 @proceedings{fme93,
 
  1365 @proceedings{fme93,
 
  1366   editor	= {J. C. P. Woodcock and P. G. Larsen},
 
  1366   editor	= {J. C. P. Woodcock and P. G. Larsen},
 
  1367   title		= {FME '93: Industrial-Strength Formal Methods},
 
  1367   title		= {FME '93: Industrial-Strength Formal Methods},
 
  1368   booktitle	= {FME '93: Industrial-Strength Formal Methods},
 
  1368   booktitle	= {FME '93: Industrial-Strength Formal Methods},
 
  1369   year		= 1993,
 
  1369   year		= 1993,
 
  1370   publisher	= {Springer},
 
  1370   publisher	= Springer,
 
  1371   series	= {LNCS 670}}
 
  1371   series	= LNCS,
 
       
  1372   volume        = 670}
 
  1372 
  1373 
  1373 @Proceedings{tphols96,
 
  1374 @Proceedings{tphols96,
 
  1374   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
 
  1375   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
 
  1375   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
 
  1376   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
 
  1376   editor	= {J. von Wright and J. Grundy and J. Harrison},
 
  1377   editor	= {J. von Wright and J. Grundy and J. Harrison},
 
  1377   series	= {LNCS 1125},
 
  1378   publisher     = Springer,
 
       
  1379   series	= LNCS,
 
       
  1380   volume        = 1125,
 
  1378   year		= 1996}
 
  1381   year		= 1996}
 
  1379 
  1382 
  1380 @Proceedings{tphols97,
 
  1383 @Proceedings{tphols97,
 
  1381   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
 
  1384   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
 
  1382   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
 
  1385   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
 
  1383   editor	= {Elsa L. Gunter and Amy Felty},
 
  1386   editor	= {Elsa L. Gunter and Amy Felty},
 
  1384   series	= {LNCS 1275},
 
  1387   publisher     = Springer,
 
       
  1388   series	= LNCS,
 
       
  1389   volume        = 1275,
 
  1385   year		= 1997}
 
  1390   year		= 1997}
 
  1386 
  1391 
  1387 @Proceedings{tphols98,
 
  1392 @Proceedings{tphols98,
 
  1388   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '98},
 
  1393   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '98},
 
  1389   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '98},
 
  1394   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '98},
 
  1390   editor	= {Jim Grundy and Malcom Newey},
 
  1395   editor	= {Jim Grundy and Malcom Newey},
 
  1391   series	= {LNCS 1479},
 
  1396   publisher     = Springer,
 
       
  1397   series	= LNCS,
 
       
  1398   volume        = 1479,
 
  1392   year		= 1998}
 
  1399   year		= 1998}
 
  1393 
  1400 
  1394 @Proceedings{tphols99,
 
  1401 @Proceedings{tphols99,
 
  1395   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
 
  1402   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
 
  1396   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
 
  1403   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
 
  1397   editor	= {Bertot, Y. and Dowek, G. and Hirschowitz, A. and
 
  1404   editor	= {Bertot, Y. and Dowek, G. and Hirschowitz, A. and
 
  1398                   Paulin, C. and Thery, L.},
 
  1405                   Paulin, C. and Thery, L.},
 
  1399   series	= {LNCS 1690},
 
  1406   publisher     = Springer,
 
       
  1407   series	= LNCS,
 
       
  1408   volume        = 1690,
 
  1400   year		= 1999}
 
  1409   year		= 1999}
 
  1401 
  1410 
  1402 @Proceedings{tphols2000,
 
  1411 @Proceedings{tphols2000,
 
  1403   title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
 
  1412   title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
 
  1404   booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
 
  1413   booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
 
  1405   editor        = {J. Harrison and M. Aagaard},
 
  1414   editor        = {J. Harrison and M. Aagaard},
 
  1406   series        = {LNCS 1869},
 
  1415   publisher     = Springer,
 
       
  1416   series        = LNCS,
 
       
  1417   volume        = 1869,
 
  1407   year          = 2000}
 
  1418   year          = 2000}
 
  1408 
  1419 
  1409 @Proceedings{tphols2001,
 
  1420 @Proceedings{tphols2001,
 
  1410   title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
 
  1421   title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
 
  1411   booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
 
  1422   booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
 
  1412   editor        = {R. J. Boulton and P. B. Jackson},
 
  1423   editor        = {R. J. Boulton and P. B. Jackson},
 
  1413   series        = {LNCS 2152},
 
  1424   publisher     = Springer,
 
       
  1425   series        = LNCS,
 
       
  1426   volume        = 2152,
 
  1414   year          = 2001}
 
  1427   year          = 2001}
wneuper/isa