Mathematical Structures in Computer Science

2013 (Volume 23)

(Issue) 01 Fri Feb 01 00:00:00 GMT 2013 (pp) 1 - 199
Special Issue 02 (Developments In Computational Models 2010) Mon Apr 01 00:00:00 BST 2013 (pp) 201 - 554
(Issue) 03 Sat Jun 01 00:00:00 BST 2013 (pp) 555 - 674
Special Issue 04 (Lightweight and Practical Formal Methods in the Design and Analysis of Safety-Critical Systems) Thu Aug 01 00:00:00 BST 2013 (pp) 675 - 943
(Issue) 05 Tue Oct 01 00:00:00 BST 2013 (pp) 945 - 1110

2012 (Volume 22)

(Issue) 01 Wed Feb 01 00:00:00 GMT 2012 (pp) 1 - 121
Special Issue 02 (Express '09, Ice '09 and Sos '09) Sun Apr 01 00:00:00 BST 2012 (pp) 123 - 372
(Issue) 03 Fri Jun 01 00:00:00 BST 2012 (pp) 373 - 547
(Issue) 04 Wed Aug 01 00:00:00 BST 2012 (pp) 549 - 722
Special Issue 05 (Computability of the Physical) Mon Oct 01 00:00:00 BST 2012 (pp) 723 - 900
(Issue) 06 (CAMCAD '09 Commutativity of Algebraic Diagrams) Sat Dec 01 00:00:00 GMT 2012 (pp) 901 - 986

2011 (Volume 21)

(Issue) 01 Tue Feb 01 00:00:00 GMT 2011 (pp) 1 - 169
Special Issue 02 (Coalgebraic Logic) Fri Apr 01 00:00:00 BST 2011 (pp) 171 - 509
(Issue) 03 Wed Jun 01 00:00:00 BST 2011 (pp) 511 - 670
Special Issue 04 (Interactive Theorem Proving and the Formalisation of Mathematics) Mon Aug 01 00:00:00 BST 2011 (pp) 671 - 942
(Issue) 05 Sat Oct 01 00:00:00 BST 2011 (pp) 943 - 1108
Special Issue 06 (Programming Language Interference and Dependence) Thu Dec 01 00:00:00 GMT 2011 (pp) 1109 - 1362

2010 (Volume 20)

Special Issue 01 (Expressiveness in Concurrency 2008) Mon Feb 01 00:00:00 GMT 2010 (pp) 1 - 103
Special Issue 02 (Domains) Thu Apr 01 00:00:00 BST 2010 (pp) 105 - 318
(Issue) 03 Tue Jun 01 00:00:00 BST 2010 (pp) 319 - 521
(Issue) 04 Sun Aug 01 00:00:00 BST 2010 (pp) 523 - 703
Special Issue 05 (Theory and Applications of Models of Computation (TAMC 2008–2009)) Fri Oct 01 00:00:00 BST 2010 (pp) 705 - 993
Special Issue 06 (Quantum Algorithms) Wed Dec 01 00:00:00 GMT 2010 (pp) 995 - 1129

2009 (Volume 19)

Special Issue 01 (Theory and Applications of Models of Computation (TAMC)) Sun Feb 01 00:00:00 GMT 2009 (pp) 1 - 215
(Issue) 02 Wed Apr 01 00:00:00 BST 2009 (pp) 217 - 434
(Issue) 03 Mon Jun 01 00:00:00 BST 2009 (pp) 435 - 638
(Issue) 04 Sat Aug 01 00:00:00 BST 2009 (pp) 639 - 875
(Issue) 05 Thu Oct 01 00:00:00 BST 2009 (pp) 877 - 1059
Special Issue 06 (Dedicated to Nadia Busi) Tue Dec 01 00:00:00 GMT 2009 (pp) 1061 - 1287

2008 (Volume 18)

Special Issue 01 (in memory of Sauro Tulipani) Fri Feb 01 00:00:00 GMT 2008 (pp) 1 - 219
(Issue) 02 Tue Apr 01 00:00:00 BST 2008 (pp) 221 - 426
Special Issue 03 (Rewriting calculi, higher-order reductions and patterns) Sun Jun 01 00:00:00 BST 2008 (pp) 427 - 643
Special Issue 04 (Isomorphisms of types and invertibility of lambda terms) Fri Aug 01 00:00:00 BST 2008 (pp) 645 - 793
Special Issue 05 (Theory and applications of subtyping) Wed Oct 01 00:00:00 BST 2008 (pp) 795 - 1016
(Issue) 06 Mon Dec 01 00:00:00 GMT 2008 (pp) 1017 - 1217

2007 (Volume 17)

(Issue) 01 Thu Feb 01 00:00:00 GMT 2007 (pp) 1 - 172
(Issue) 02 Sun Apr 01 00:00:00 BST 2007 (pp) 173 - 359
(Issue) 03 Fri Jun 01 00:00:00 BST 2007 (pp) 361 - 584
(Issue) 04 Wed Aug 01 00:00:00 BST 2007 (pp) 585 - 837
(Issue) 05 Mon Oct 01 00:00:00 BST 2007 (pp) 839 - 1113
(Issue) 06 Sat Dec 01 00:00:00 GMT 2007 (pp) 1115 - 1263

2006 (Volume 16)

(Issue) 01 Wed Feb 01 00:00:00 GMT 2006 (pp) 1 - 137
(Issue) 02 Sat Apr 01 00:00:00 BST 2006 (pp) 139 - 372
(Issue) 03 Thu Jun 01 00:00:00 BST 2006 (pp) 373 - 552
(Issue) 04 Tue Aug 01 00:00:00 BST 2006 (pp) 553 - 733
(Issue) 05 Sun Oct 01 00:00:00 BST 2006 (pp) 735 - 946
(Issue) 06 Fri Dec 01 00:00:00 GMT 2006 (pp) 947 - 1165

2005 (Volume 15)

(Issue) 01 Tue Feb 01 00:00:00 GMT 2005 (pp) 1 - 200
(Issue) 02 Fri Apr 01 00:00:00 BST 2005 (pp) 201 - 406
(Issue) 03 Wed Jun 01 00:00:00 BST 2005 (pp) 407 - 614
(Issue) 04 Mon Aug 01 00:00:00 BST 2005 (pp) 615 - 819
(Issue) 05 Sat Oct 01 00:00:00 BST 2005 (pp) 821 - 1004
(Issue) 06 Thu Dec 01 00:00:00 GMT 2005 (pp) 1005 - 1178

2004 (Volume 14)

(Issue) 01 Sun Feb 01 00:00:00 GMT 2004 (pp) 1 - 187
(Issue) 02 Thu Apr 01 00:00:00 BST 2004 (pp) 189 - 282
(Issue) 03 Tue Jun 01 00:00:00 BST 2004 (pp) 283 - 468
(Issue) 04 Sun Aug 01 00:00:00 BST 2004 (pp) 469 - 611
(Issue) 05 Fri Oct 01 00:00:00 BST 2004 (pp) 613 - 767
(Issue) 06 Wed Dec 01 00:00:00 GMT 2004 (pp) 769 - 878

2003 (Volume 13)

(Issue) 01 Sat Feb 01 00:00:00 GMT 2003 (pp) 1 - 197
(Issue) 02 Tue Apr 01 00:00:00 BST 2003 (pp) 199 - 370
(Issue) 03 Sun Jun 01 00:00:00 BST 2003 (pp) 371 - 480
(Issue) 04 Fri Aug 01 00:00:00 BST 2003 (pp) 481 - 656
(Issue) 05 Wed Oct 01 00:00:00 BST 2003 (pp) 657 - 798
(Issue) 06 Mon Dec 01 00:00:00 GMT 2003 (pp) 799 - 890

2002 (Volume 12)

(Issue) 01 Fri Feb 01 00:00:00 GMT 2002 (pp) 1 - 109
(Issue) 02 Mon Apr 01 00:00:00 BST 2002 (pp) 111 - 235
(Issue) 03 Sat Jun 01 00:00:00 BST 2002 (pp) 237 - 347
(Issue) 04 Thu Aug 01 00:00:00 BST 2002 (pp) 349 - 539
(Issue) 05 Tue Oct 01 00:00:00 BST 2002 (pp) 541 - 699
(Issue) 06 Sun Dec 01 00:00:00 GMT 2002 (pp) 701 - 903

2001 (Volume 11)

(Issue) 01 Thu Feb 01 00:00:00 GMT 2001 (pp) 1 - 206
(Issue) 02 Sun Apr 01 00:00:00 BST 2001 (pp) 207 - 297
(Issue) 03 Fri Jun 01 00:00:00 BST 2001 (pp) 299 - 506
(Issue) 04 Wed Aug 01 00:00:00 BST 2001 (pp) 507 - 596
(Issue) 05 Mon Oct 01 00:00:00 BST 2001 (pp) 597 - 688
(Issue) 06 Sat Dec 01 00:00:00 GMT 2001 (pp) 689 - 779

2000 (Volume 10)

(Issue) 01 Tue Feb 01 00:00:00 GMT 2000 (pp) 1 - 96
(Issue) 02 Sat Apr 01 00:00:00 BST 2000 (pp) 97 - 312
(Issue) 03 Thu Jun 01 00:00:00 BST 2000 (pp) 313 - 407
(Issue) 04 Tue Aug 01 00:00:00 BST 2000 (pp) 409 - 573
(Issue) 05 Sun Oct 01 00:00:00 BST 2000 (pp) 575 - 663
(Issue) 06 Fri Dec 01 00:00:00 GMT 2000 (pp) 665 - 745

1999 (Volume 9)

(Issue) 01 Mon Feb 01 00:00:00 GMT 1999 (pp) 1 - 123
(Issue) 02 Thu Apr 01 00:00:00 BST 1999 (pp) 125 - 223
(Issue) 03 Tue Jun 01 00:00:00 BST 1999 (pp) 225 - 319
(Issue) 04 Sun Aug 01 00:00:00 BST 1999 (pp) 321 - 522
(Issue) 05 Fri Oct 01 00:00:00 BST 1999 (pp) 523 - 650
(Issue) 06 Wed Dec 01 00:00:00 GMT 1999 (pp) 651 - 739

1998 (Volume 8)

(Issue) 01 Sun Feb 01 00:00:00 GMT 1998 (pp) 1 - 92
(Issue) 02 Wed Apr 01 00:00:00 BST 1998 (pp) 93 - 192
(Issue) 03 Mon Jun 01 00:00:00 BST 1998 (pp) 193 - 320
(Issue) 04 Sat Aug 01 00:00:00 BST 1998 (pp) 321 - 446
(Issue) 05 Thu Oct 01 00:00:00 BST 1998 (pp) 447 - 540
(Issue) 06 Tue Dec 01 00:00:00 GMT 1998 (pp) 541 - 710

1997 (Volume 7)

(Issue) 01 Sat Feb 01 00:00:00 GMT 1997 (pp) 1 - 94
(Issue) 02 Tue Apr 01 00:00:00 BST 1997 (pp) 95 - 206
(Issue) 03 Sun Jun 01 00:00:00 BST 1997 (pp) 207 - 302
(Issue) 04 Fri Aug 01 00:00:00 BST 1997 (pp) 303 - 397
(Issue) 05 Wed Oct 01 00:00:00 BST 1997 (pp) 399 - 618
(Issue) 06 Mon Dec 01 00:00:00 GMT 1997 (pp) 619 - 713

1996 (Volume 6) Digitised Archive

(Issue) 01 Thu Feb 01 00:00:00 GMT 1996 (pp) 1 - 125
(Issue) 02 Mon Apr 01 00:00:00 BST 1996 (pp) 127 - 217
(Issue) 03 Sat Jun 01 00:00:00 BST 1996 (pp) 219 - 312
(Issue) 04 Thu Aug 01 00:00:00 BST 1996 (pp) 313 - 408

1995 (Volume 5) Digitised Archive

(Issue) 01 Wed Mar 01 00:00:00 GMT 1995 (pp) 1 - 125
(Issue) 02 Thu Jun 01 00:00:00 BST 1995 (pp) 127 - 314
(Issue) 03 Fri Sep 01 00:00:00 BST 1995 (pp) 315 - 438
(Issue) 04 Fri Dec 01 00:00:00 GMT 1995 (pp) 439 - 564

1994 (Volume 4) Digitised Archive

(Issue) 01 Tue Mar 01 00:00:00 GMT 1994 (pp) 1 - 115
(Issue) 02 Wed Jun 01 00:00:00 BST 1994 (pp) 117 - 285
(Issue) 03 Thu Sep 01 00:00:00 BST 1994 (pp) 287 - 392
(Issue) 04 Thu Dec 01 00:00:00 GMT 1994 (pp) 393 - 513

1993 (Volume 3) Digitised Archive

(Issue) 01 Mon Mar 01 00:00:00 GMT 1993 (pp) 1 - 128
(Issue) 02 Tue Jun 01 00:00:00 BST 1993 (pp) 129 - 276
(Issue) 03 Wed Sep 01 00:00:00 BST 1993 (pp) 277 - 363
(Issue) 04 Wed Dec 01 00:00:00 GMT 1993 (pp) 365 - 467

1992 (Volume 2) Digitised Archive

(Issue) 01 Sun Mar 01 00:00:00 GMT 1992 (pp) 1 - 108
(Issue) 02 Mon Jun 01 00:00:00 BST 1992 (pp) 109 - 247
(Issue) 03 Tue Sep 01 00:00:00 BST 1992 (pp) 249 - 357
(Issue) 04 Tue Dec 01 00:00:00 GMT 1992 (pp) 359 - 495

1991 (Volume 1) Digitised Archive

(Issue) 01 Fri Mar 01 00:00:00 GMT 1991 (pp) 1 - 139
(Issue) 02 Mon Jul 01 00:00:00 BST 1991 (pp) 141 - 254
(Issue) 03 Fri Nov 01 00:00:00 GMT 1991 (pp) 255 - 405

Welcome to Stanford University Libraries

Mathematical Structures in Computer Science