We are currently experiencing cases of mixed-up (and therefore incorrect) metadata for some newly indexed journal issues. We are aware of the problem and we are working on a fix. Thanks for understanding and we apologize for the inconvenience.
MFPS 1993:
New Orleans, LA, USA
share record
short URL:
https://dblp.org/rec/conf/mfps/1993 Stephen D. Brookes ,
Michael G. Main ,
Austin Melton ,
Michael W. Mislove ,
David A. Schmidt :
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 share record
short URL:
https://dblp.org/rec/conf/mfps/Aczel93 share record
short URL:
https://dblp.org/rec/conf/mfps/Curien93 share record
short URL:
https://dblp.org/rec/conf/mfps/Pitts93 Andrew M. Pitts :
Computational Adequacy via "Mixed" Inductive Definitions. 72-82 share record
short URL:
https://dblp.org/rec/conf/mfps/Rutten93 share record
short URL:
https://dblp.org/rec/conf/mfps/Breugel93 share record
short URL:
https://dblp.org/rec/conf/mfps/BakkerB93 share record
short URL:
https://dblp.org/rec/conf/mfps/Sangiorgi93 share record
short URL:
https://dblp.org/rec/conf/mfps/LarsenY93 share record
short URL:
https://dblp.org/rec/conf/mfps/Schneider93 share record
short URL:
https://dblp.org/rec/conf/mfps/Chen93 Liang Chen :
Axiomatising Real-Time Processes. 215-229 export record
dblp key:
conf/mfps/ScholefieldZJ93 share record
short URL:
https://dblp.org/rec/conf/mfps/ScholefieldZJ93 share record
short URL:
https://dblp.org/rec/conf/mfps/BestL93 share record
short URL:
https://dblp.org/rec/conf/mfps/PinnaP93 share record
short URL:
https://dblp.org/rec/conf/mfps/Jeffrey93 Alan Jeffrey :
A Chemical Abstract Machine for Graph Reduction. 293-303 share record
short URL:
https://dblp.org/rec/conf/mfps/Mulry93 share record
short URL:
https://dblp.org/rec/conf/mfps/BrookesG93 share record
short URL:
https://dblp.org/rec/conf/mfps/Bucciarelli93 Antonio Bucciarelli :
Another Approach to Sequentiality: Kleene's Unimonotone Functions. 333-358 share record
short URL:
https://dblp.org/rec/conf/mfps/Stoughton93 share record
short URL:
https://dblp.org/rec/conf/mfps/BloomE93 share record
short URL:
https://dblp.org/rec/conf/mfps/Heckmann93 Reinhold Heckmann :
Probabilistic Power Domains, Information Systems, and Locales. 410-437 share record
short URL:
https://dblp.org/rec/conf/mfps/Huth93 share record
short URL:
https://dblp.org/rec/conf/mfps/Zhang93 share record
short URL:
https://dblp.org/rec/conf/mfps/BluteSP93 share record
short URL:
https://dblp.org/rec/conf/mfps/Wadler93 share record
short URL:
https://dblp.org/rec/conf/mfps/Rabinovich93 share record
short URL:
https://dblp.org/rec/conf/mfps/KoppermanF93 share record
short URL:
https://dblp.org/rec/conf/mfps/CalbrixNP93 share record
short URL:
https://dblp.org/rec/conf/mfps/Fiech93 share record
short URL:
https://dblp.org/rec/conf/mfps/BanerjeeS93 share record
short URL:
https://dblp.org/rec/conf/mfps/BruceCK93 share record
short URL:
https://dblp.org/rec/conf/mfps/DanvyH93
maintained by
at