Conferences in DBLP

Foundations of Software Science and Computation Structure (FoSSaCS) (fossacs)
1998 (conf/fossacs/1998)

1. Michael W. Mislove
   Generalizing Domain Theory. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1998, pp:1-19 [Conf]
   
2. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
   A Cook's Tour of Equational Axiomatizations for Prefix Iteration. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1998, pp:20-34 [Conf]
   
3. Can Adam Albayrak, Thomas Noll
   The WHILE Hierarchy of Program Schemes Is Infinite. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1998, pp:35-47 [Conf]
   
4. Roberto M. Amadio, Solange Coupet-Grimal
   Analysis of a Guard Condition in Type Theory (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1998, pp:48-62 [Conf]
   
5. Paolo Baldan, Andrea Corradini, Ugo Montanari
   An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1998, pp:63-80 [Conf]
   
6. Danièle Beauquier
   Pumping Lemmas for Timed Automata. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1998, pp:81-94 [Conf]
   
7. Michele Boreale, Rocco De Nicola, Rosario Pugliese
   Asynchronous Observations of Processes. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1998, pp:95-109 [Conf]
   
8. Anne Bottreau, Yves Métivier
   Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1998, pp:110-124 [Conf]
   
9. Michael A. Bukatin, Svetlana Yu. Shorina
   Partial Metrics and Co-continuous Valuations. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1998, pp:125-139 [Conf]
   
10. Luca Cardelli, Andrew D. Gordon
    Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:140-155 [Conf]
    
11. Andrea Corradini, Fabio Gadducci
    Rational Term Rewriting. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:156-171 [Conf]
    
12. Reinhold Heckmann
    The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:172-188 [Conf]
    
13. Renate Klempien-Hinrichs
    Net Refinement by Pullback Rewriting. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:189-202 [Conf]
    
14. Oliver Matz
    On Piecewise Testable, Starfree, and Recognizable Picture Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:203-210 [Conf]
    
15. Eugenio Moggi
    Functor Categories and Two-Level Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:211-225 [Conf]
    
16. Anca Muscholl, Doron Peled, Zhendong Su
    Deciding Properties for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:226-242 [Conf]
    
17. Gundula Niemann, Friedrich Otto
    The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:243-257 [Conf]
    
18. Sylvain Porrot, Max Dauchet, Bruno Durand, Nikolai K. Vereshchagin
    Deterministic Rational Transducers and Random Sequences. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:258-272 [Conf]
    
19. Julian Rathke
    Resource Based Models for Asynchrony. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:273-287 [Conf]