Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Formal Methods 1993: Chelwood Gate, Sussex, UK
- Geoffrey Livingston Burn, Simon J. Gay, Mark Ryan:
Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993. Workshops in Computing, Springer 1993, ISBN 3-540-19842-3
Part 1: Overview and Introductory Papers
- Geoffrey Livingston Burn:
The Abstract Interpretation of Functional Languages. Theory and Formal Methods 1993: 3-14 - Roy L. Crole:
Deriving Category Theory from Type Theory. Theory and Formal Methods 1993: 15-26 - Chris Hankin:
Graph Rewriting Systems and Abstract Interpretation. Theory and Formal Methods 1993: 27-36 - Steven Vickers:
Geometric Logic in Computer Science. Theory and Formal Methods 1993: 37-54
Part 2: Research Papers
- Samson Abramsky:
Interaction Categories. Theory and Formal Methods 1993: 57-69 - Mark Dawson:
Animating LU. Theory and Formal Methods 1993: 70-81 - Abbas Edalat:
Dynamical Systems, Measures and Fractals Via Domain Theory. Theory and Formal Methods 1993: 82-99 - Abbas Edalat:
Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories. Theory and Formal Methods 1993: 100-114 - Lindsay Errington, Chris Hankin, Thomas P. Jensen:
Reasoning About Gamma Programs. Theory and Formal Methods 1993: 115-125 - José Luiz Fiadeiro, T. S. E. Maibaum:
Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993: 126-147 - Simon J. Gay, Rajagopal Nagarajan:
Modelling SIGNAL in Interaction Categories. Theory and Formal Methods 1993: 148-158 - Reinhold Heckmann:
Product Operations in Strong Monads. Theory and Formal Methods 1993: 159-170 - Michael Huth:
On the Equivalence of State-Transition Systems. Theory and Formal Methods 1993: 171-182 - Stuart Kent:
Towards a Modal Logic of Durative Actions. Theory and Formal Methods 1993: 183-194 - Marta Z. Kwiatkowska:
Concurrency, Fairness and Logical Complexity. Theory and Formal Methods 1993: 195-208 - Marta Z. Kwiatkowska, Iain Phillips:
Concurrency and Conflict in CSP. Theory and Formal Methods 1993: 209-225 - Sarah Liebert:
A Complete Axiom System for CCS with a Stability Operator. Theory and Formal Methods 1993: 226-234 - Ian Mackie, Leopoldo Román, Samson Abramsky:
An Internal Language for Autonomous Categories. Theory and Formal Methods 1993: 235-246 - Juarez Muylaert Filho, Geoffrey Livingston Burn:
Continuation Passing Transformation and Abstract Interpretation. Theory and Formal Methods 1993: 247-259 - Iain Phillips:
A Note on Expressiveness of Process Algebra. Theory and Formal Methods 1993: 260-264 - Mark Ryan:
Prioritising Preference Relations. Theory and Formal Methods 1993: 265-275 - David Sands:
Laws of Parallel Synchronised Termination. Theory and Formal Methods 1993: 276-288 - Zvi Schreiber:
Implementing Process Calculi in C. Theory and Formal Methods 1993: 289-301 - Paul Taylor:
An Exact Interpretation of While. Theory and Formal Methods 1993: 302-313 - Irek Ulidowski:
Congrurences for tau-Respecting Formats of Rules. Theory and Formal Methods 1993: 314-325
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 01:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
