International Conference on Mathematical Foundations of Programming Semantics
MFPS
B
CORE rank
CORE rank (raw)
B
Fields of research
Theory of Computation
Papers indexed
161
1985–2020
Papers per year
198532 peak2020
MFPS papers
161 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1985 | Additive Domains. | Ernest G. Manes |
| 1985 | Free Constructions of Powerdomains. | Michael G. Main |
| 1985 | Continuous Categories. | Jrgen Koslowski |
| 1985 | Retracts of SEP Objects. | Tsutomu Kamimura, Adrian Tang |
| 1985 | Galois Connections. | Horst Herrlich, Miroslav Husek |
| 1985 | Comparing Categories of Domains. | Carl A. Gunter |
| 1985 | A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. | Stephen D. Brookes |
| 1985 | Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). | David B. Benson, Jerzy Tiuryn |
| 1985 | Concrete Categories and Injectivity. | H. Bargenda, Horst Herrlich, George E. Strecker |
| 1985 | Cartesian Closed Categories, Quasitopoi and Topological Universes. | Jir Admek, Horst Herrlich |
| 1985 | Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. | S. Kamal Abdali, David S. Wise |
151–161 of 161← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing