Mathematical Foundations of Programming Semantics
MFPS 1993: New Orleans, LA, USA
export record as
dblp key:
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. Springer 1994
Lecture Notes in Computer Science 802 ISBN 3-540-58027-1 [
contents ]
MFPS 1991: Pittsburgh, PA, USA
export record as
dblp key:
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. Springer 1992
Lecture Notes in Computer Science 598 ISBN 3-540-55511-0 [
contents ]
MFPS 1989: Tulane University, New Orleans, Louisiana, USA
export record as
dblp key:
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. Springer 1990
Lecture Notes in Computer Science 442 ISBN 3-540-97375-3 [
contents ]
MFPS 1987: Tulane University, New Orleans, Louisiana, USA
export record as
dblp key:
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. Springer 1988
Lecture Notes in Computer Science 298 ISBN 3-540-19020-1 [
contents ]
MFPS 1985: Manhattan, Kansas, USA
export record as
dblp key: