Main, Michael G., Melton, Austin C., Mislove, Michael W., Schmidt, David A., SpringerLink (Online service)
Springer New York : Imprint: Springer
|
Main, M., Melton, A., Mislove, M., Schmidt, D., SpringerLink (Online service)
Springer-Verlag
|
Main, Michael, 1956-, Workshop on the Mathematical Foundations of Programming Language Semantics
Springer-Verlag
|
Brookes, Stephen, Main, Michael, Melton, Austin, Mislove, Michael, Schmidt, David, SpringerLink (Online service)
Springer-Verlag
|
Main, M., Melton, A., Mislove, M., Schmidt, D., SpringerLink (Online service)
Springer-Verlag
|
Brookes, Stephen., Main, Michael., Melton, Austin., Mislove, Michael., Schmidt, David., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Conference on the Mathematical Foundations of Programming Semantics, Brookes, Stephen D.
Springer-Verlag
|
Brookes, Stephen, Main, Michael, Melton, Austin, Mislove, Michael, Schmidt, David, SpringerLink (Online service)
Springer-Verlag
|
Brookes, Stephen D., Conference on the Mathematical Foundations of Programming Semantics
Springer-Verlag
|
Brookes, Stephen., Main, Michael., Melton, Austin., Mislove, Michael., Schmidt, David., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Main, Michael., Melton, Austin., Mislove, Michael., Schmidt, David., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
International Conference on the Mathematics of Program Construction, Bird, R. S. (Richard Simpson), 1943-, Morgan, C. C. …
Springer-Verlag
|