| Quick Search: |
| Cite Search: |
Home>
Mathematical Structures in Computer Science
|
Log InBrowse JournalsSpecial SalesDownload our New CataloguesOur full range of Journal Subject Catalogues and our Electronic Packages are online for you to download as fully linked PDFs. Click here to see our full range. more details |
Search
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Del.icio.us
Connotea
Bibsonomy
Furl
Digg
Reddit
Facebook
Share on Twitter
|
630,947 articles from 323 leading journals. |
- Editor(s):
-
G. Longo, CNRS and Ecole Normale Supérieure, Paris, France
- Editorial Board Details.
Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. The journal welcomes applications to computing based on the use of specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results. The journal will also accept contributions in new interdisciplinary fields bridging computer science, quantum physics, mathematics and information theory. In particular, papers on quantum information processing and communication, as well as on the related issues in quantum language design will be considered.
- ISSN: 0960-1295
- EISSN: 1469-8072
Available Volumes
| Checking for available Accepted Manuscripts... Accepted Manuscripts | ||||
| First View Articles | ||||
| Current Volume [Hide Current Volume] Current Volume |
| 2010 Volume 20 | ||||
|
Special Issue
01
Expressiveness in Concurrency 2008 |
Feb 2010 | pp 1 - 103 | |
Back Volumes [Hide Back Volumes] Back Volumes
-
2000s
(2000 Vol 10 - 2009 Vol 19)
2000s
(2000 Vol 10 - 2009 Vol 19)
Mathematical Structures in Computer Science
-
2009
(Volume
19)
2009
(Volume
19)
Mathematical Structures in Computer Science
Special Issue
01
Theory and Applications of Models of Computation (TAMC) |
Feb 2009 | pp 1 - 215 | ||
| Issue 02 | Apr 2009 | pp 217 - 434 | ||
| Issue 03 | Jun 2009 | pp 435 - 638 | ||
| Issue 04 | Aug 2009 | pp 639 - 875 | ||
| Issue 05 | Oct 2009 | pp 877 - 1059 | ||
Special Issue
06
Dedicated to Nadia Busi |
Dec 2009 | pp 1061 - 1287 |
-
2008
(Volume
18)
2008
(Volume
18)
Mathematical Structures in Computer Science
Special Issue
01
in memory of Sauro Tulipani |
Feb 2008 | pp 1 - 219 | ||
| Issue 02 | Apr 2008 | pp 221 - 426 | ||
Special Issue
03
Rewriting calculi, higher-order reductions and patterns |
Jun 2008 | pp 427 - 643 | ||
Special Issue
04
Isomorphisms of types and invertibility of lambda terms |
Aug 2008 | pp 645 - 793 | ||
Special Issue
05
Theory and applications of subtyping |
Oct 2008 | pp 795 - 1016 | ||
| Issue 06 | Dec 2008 | pp 1017 - 1217 |
-
2007
(Volume
17)
2007
(Volume
17)
Mathematical Structures in Computer Science
| Issue 01 | Feb 2007 | pp 1 - 172 | ||
| Issue 02 | Apr 2007 | pp 173 - 359 | ||
| Issue 03 | Jun 2007 | pp 361 - 584 | ||
| Issue 04 | Aug 2007 | pp 585 - 837 | ||
| Issue 05 | Oct 2007 | pp 839 - 1113 | ||
| Issue 06 | Dec 2007 | pp 1115 - 1263 |
-
2006
(Volume
16)
2006
(Volume
16)
Mathematical Structures in Computer Science
| Issue 01 | Feb 2006 | pp 1 - 137 | ||
| Issue 02 | Apr 2006 | pp 139 - 372 | ||
| Issue 03 | Jun 2006 | pp 373 - 552 | ||
| Issue 04 | Aug 2006 | pp 553 - 733 | ||
| Issue 05 | Oct 2006 | pp 735 - 946 | ||
| Issue 06 | Dec 2006 | pp 947 - 1165 |
-
2005
(Volume
15)
2005
(Volume
15)
Mathematical Structures in Computer Science
| Issue 01 | Feb 2005 | pp 1 - 200 | ||
| Issue 02 | Apr 2005 | pp 201 - 406 | ||
| Issue 03 | Jun 2005 | pp 407 - 614 | ||
| Issue 04 | Aug 2005 | pp 615 - 819 | ||
| Issue 05 | Oct 2005 | pp 821 - 1004 | ||
| Issue 06 | Dec 2005 | pp 1005 - 1178 |
-
2004
(Volume
14)
2004
(Volume
14)
Mathematical Structures in Computer Science
| Issue 01 | Feb 2004 | pp 1 - 187 | ||
| Issue 02 | Apr 2004 | pp 189 - 282 | ||
| Issue 03 | Jun 2004 | pp 283 - 468 | ||
| Issue 04 | Aug 2004 | pp 469 - 611 | ||
| Issue 05 | Oct 2004 | pp 613 - 767 | ||
| Issue 06 | Dec 2004 | pp 769 - 878 |
-
2003
(Volume
13)
2003
(Volume
13)
Mathematical Structures in Computer Science
| Issue 01 | Feb 2003 | pp 1 - 197 | ||
| Issue 02 | Apr 2003 | pp 199 - 370 | ||
| Issue 03 | Jun 2003 | pp 371 - 480 | ||
| Issue 04 | Aug 2003 | pp 481 - 656 | ||
| Issue 05 | Oct 2003 | pp 657 - 798 | ||
| Issue 06 | Dec 2003 | pp 799 - 890 |
-
2002
(Volume
12)
2002
(Volume
12)
Mathematical Structures in Computer Science
| Issue 01 | Feb 2002 | pp 1 - 109 | ||
| Issue 02 | Apr 2002 | pp 111 - 235 | ||
| Issue 03 | Jun 2002 | pp 237 - 347 | ||
| Issue 04 | Aug 2002 | pp 349 - 539 | ||
| Issue 05 | Oct 2002 | pp 541 - 699 | ||
| Issue 06 | Dec 2002 | pp 701 - 903 |
-
2001
(Volume
11)
2001
(Volume
11)
Mathematical Structures in Computer Science
| Issue 01 | Feb 2001 | pp 1 - 206 | ||
| Issue 02 | Apr 2001 | pp 207 - 297 | ||
| Issue 03 | Jun 2001 | pp 299 - 506 | ||
| Issue 04 | Aug 2001 | pp 507 - 596 | ||
| Issue 05 | Oct 2001 | pp 597 - 688 | ||
| Issue 06 | Dec 2001 | pp 689 - 779 |
-
2000
(Volume
10)
2000
(Volume
10)
Mathematical Structures in Computer Science
-
1990s
(1991 Vol 1 - 1999 Vol 9)
1990s
(1991 Vol 1 - 1999 Vol 9)
Mathematical Structures in Computer Science
-
1999
(Volume
9)
1999
(Volume
9)
Mathematical Structures in Computer Science
| Issue 01 | Feb 1999 | pp 1 - 123 | ||
| Issue 02 | Apr 1999 | pp 125 - 223 | ||
| Issue 03 | Jun 1999 | pp 225 - 319 | ||
| Issue 04 | Aug 1999 | pp 321 - 522 | ||
| Issue 05 | Oct 1999 | pp 523 - 650 | ||
| Issue 06 | Dec 1999 | pp 651 - 739 |
-
1998
(Volume
8)
1998
(Volume
8)
Mathematical Structures in Computer Science
| Issue 01 | Feb 1998 | pp 1 - 92 | ||
| Issue 02 | Apr 1998 | pp 93 - 192 | ||
| Issue 03 | Jun 1998 | pp 193 - 320 | ||
| Issue 04 | Aug 1998 | pp 321 - 446 | ||
| Issue 05 | Oct 1998 | pp 447 - 540 | ||
| Issue 06 | Dec 1998 | pp 541 - 710 |
-
1997
(Volume
7)
1997
(Volume
7)
Mathematical Structures in Computer Science
Digitised Archive
-
1996
(Volume
6)
1996
(Volume
6)
Mathematical Structures in Computer Science
| Issue 01 | Feb 1996 | pp 1 - 125 | ||
| Issue 02 | Apr 1996 | pp 127 - 217 | ||
| Issue 03 | Jun 1996 | pp 219 - 312 | ||
| Issue 04 | Aug 1996 | pp 313 - 408 |
-
1995
(Volume
5)
1995
(Volume
5)
Mathematical Structures in Computer Science
| Issue 01 | Mar 1995 | pp 1 - 125 | ||
| Issue 02 | Jun 1995 | pp 127 - 314 | ||
| Issue 03 | Sep 1995 | pp 315 - 438 | ||
| Issue 04 | Dec 1995 | pp 439 - 564 |
-
1994
(Volume
4)
1994
(Volume
4)
Mathematical Structures in Computer Science
| Issue 01 | Mar 1994 | pp 1 - 115 | ||
| Issue 02 | Jun 1994 | pp 117 - 285 | ||
| Issue 03 | Sep 1994 | pp 287 - 392 | ||
| Issue 04 | Dec 1994 | pp 393 - 513 |
-
1993
(Volume
3)
1993
(Volume
3)
Mathematical Structures in Computer Science
| Issue 01 | Mar 1993 | pp 1 - 128 | ||
| Issue 02 | Jun 1993 | pp 129 - 276 | ||
| Issue 03 | Sep 1993 | pp 277 - 363 | ||
| Issue 04 | Dec 1993 | pp 365 - 467 |
-
1992
(Volume
2)
1992
(Volume
2)
Mathematical Structures in Computer Science
| Issue 01 | Mar 1992 | pp 1 - 108 | ||
| Issue 02 | Jun 1992 | pp 109 - 247 | ||
| Issue 03 | Sep 1992 | pp 249 - 357 | ||
| Issue 04 | Dec 1992 | pp 359 - 495 |
-
1991
(Volume
1)
1991
(Volume
1)
Mathematical Structures in Computer Science
- © Cambridge University Press .
- Copyright Statement |
- Rights and Permissions |
- Privacy Policy |
- Terms of Use |
- Press Release |
- Feedback