Conference on the Mathematical Foundations of Programming Semantics, Brookes, Stephen D.
Springer-Verlag
|
International Workshop on Practical Aspects of Declarative Languages, Krishnamurthi, Shriram, Ramakrishnan, C. R.
Springer
|
International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-
Springer-Verlag
|
International Workshop on Practical Aspects of Declarative Languages, Dahl, Veronica, Wadler, Philip
Springer
|
Main, Michael, 1956-, Workshop on the Mathematical Foundations of Programming Language Semantics
Springer-Verlag
|
International Conference on Automated Deduction, McAllester, David A.
Springer
|
International Workshop on Semantics of Specification Languages, Andrews, Derek, Groote, J. F. (Jan Frisco), 1965-, …
Springer-Verlag : Published in collaboration with the British Computer Society
|
International Conference on the Practice and Theory of Automated Timetabling, Burke, Edmund, Ph. D., Trick, Michael
Springer
|
Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, Blaser, Albrecht, 1933-, …
Springer-Verlag
|
International Conference on Distributed Computing Systems, IEEE Computer Society. TC Distributed Computing
IEEE Computer Society Press
|
International Workshop on Practical Aspects of Declarative Languages, Jayaraman, Bharat
Springer
|
REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz
Springer-Verlag
|
