Conferences in DBLP
Geoffrey L. Burn The Abstract Interpretation of Functional Languages. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:3-14 [Conf ] Roy L. Crole Deriving Category Theory from Type Theory. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:15-26 [Conf ] Chris Hankin Graph Rewriting Systems and Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:27-36 [Conf ] Steven Vickers Geometric Logic in Computer Science. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:37-54 [Conf ] Samson Abramsky Interaction Categories. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:57-69 [Conf ] Mark Dawson Animating LU. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:70-81 [Conf ] Abbas Edalat Dynamical Systems, Measures and Fractals Via Domain Theory. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:82-99 [Conf ] Abbas Edalat Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:100-114 [Conf ] Lindsay Errington , Chris Hankin , Thomas P. Jensen Reasoning About Gamma Programs. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:115-125 [Conf ] José Luiz Fiadeiro , T. S. E. Maibaum Generalising Interpretations between Theories in the context of (pi-) Institutions. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:126-147 [Conf ] Simon J. Gay , Rajagopal Nagarajan Modelling SIGNAL in Interaction Categories. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:148-158 [Conf ] Reinhold Heckmann Product Operations in Strong Monads. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:159-170 [Conf ] Michael Huth On the Equivalence of State-Transition Systems. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:171-182 [Conf ] Stuart Kent Towards a Modal Logic of Durative Actions. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:183-194 [Conf ] Marta Z. Kwiatkowska Concurrency, Fairness and Logical Complexity. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:195-208 [Conf ] Marta Z. Kwiatkowska , Iain Phillips Concurrency and Conflict in CSP. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:209-225 [Conf ] Sarah Liebert A Complete Axiom System for CCS with a Stability Operator. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:226-234 [Conf ] Ian Mackie , Leopoldo Román , Samson Abramsky An Internal Language for Autonomous Categories. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:235-246 [Conf ] Juarez Muylaert Filho , Geoffrey L. Burn Continuation Passing Transformation and Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:247-259 [Conf ] Iain Phillips A Note on Expressiveness of Process Algebra. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:260-264 [Conf ] Mark Ryan Prioritising Preference Relations. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:265-275 [Conf ] David Sands Laws of Parallel Synchronised Termination. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:276-288 [Conf ] Zvi Schreiber Implementing Process Calculi in C. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:289-301 [Conf ] Paul Taylor An Exact Interpretation of While. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:302-313 [Conf ] Irek Ulidowski Congrurences for tau -Respecting Formats of Rules. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:314-325 [Conf ]