MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Mathematical Foundations of Programming Semantics" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 37 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Theoretical Computer  
  • by Science October Usa, M. H. Escard'o
  • …. In Proceedings of the 15th conference on Mathematical Foundations of Programming Semantics (MFPS XV), volume 20…
  • Add To MetaCart
  • Three Metric Domains of Processes for Bisimulation  
  • by Franck Van Breugel, Franck Van Breugel — 1993 — in Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, LNCS
  • … (REX). This paper will appear in Proceedings of the Ninth Conference on the Mathematical Foundations…
  • Cited by 5 (2 self) – Add To MetaCart
  • A Structural Co-Induction Theorem  
  • by J. J. M. M. Rutten, J. J. M. M. Rutten — 1993 — Proc. MFPS '93, Springer LNCS 802
  • …. It will appear in the proceedings of the ninth conference on Mathematical Foundations of Programming Semantics…
  • Cited by 8 (2 self) – Add To MetaCart
  • References  
  • by Pages Springer-verlag
  • … at the Mathematical Foundations of Programming Semantics, New Orleans, April 1993. 28 References …
  • Add To MetaCart
  • Publications  
  • by Aquinas Hobor, C. J. Bell
  • … Dockins, Andrew W. Appel, Aquinas Hobor To appear in Mathematical Foundations of Programming Semantics…
  • Add To MetaCart
  • data structure (abstract of invited lecture). In Fritz Henglein,  
  • by Structure In Jim Davies, Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, Hongseok Yang Local Reasoning, John C. Reynolds, John Hughes, Henning Makholm, Henning Niss
  • … of the 24th Annual Conference on Mathematical Foundations of Programming Semantics, Electronic Notes…
  • Add To MetaCart
  • Two-Categories and Program Structure  
  • by David Andrew Naumann, Richard August, Naumann After, Using L, Leslie Lamport, The American
  • …. In Proceedings, 5th International Conf. on Mathematical Foundations of Programming Semantics, 1989. LNCS 442. [HH…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB