Mathematical Foundations of Programming Semantics

MFPS 1993: New Orleans, LA, USA

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Lecture Notes in Computer Science 802 Springer 1994, ISBN 3-540-58027-1
Contents BibTeX

MFPS 1991: Pittsburgh, PA, USA

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Lecture Notes in Computer Science 598 Springer 1992, ISBN 3-540-55511-0
Contents BibTeX

MFPS 1989: Tulane University, New Orleans, Louisiana, USA

Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings. Lecture Notes in Computer Science 442 Springer 1990, ISBN 3-540-97375-3
Contents BibTeX

MFPS 1987: Tulane University, New Orleans, Louisiana, USA

Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 298 Springer 1988, ISBN 3-540-19020-1
Contents BibTeX

MFPS 1985: Manhattan, Kansas, USA

Austin Melton (Ed.): Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings. Lecture Notes in Computer Science 239 Springer 1986, ISBN 3-540-16816-8
Contents BibTeX