Conferences in DBLP

Workshop on Algebraic Development Techniques (WADT) (wadt)
1998 (conf/wadt/1998)

1. Davide Ancona
   An Algebraic Framework for Separate Type-Checking. [Citation Graph (0, 0)][DBLP]
   WADT, 1998, pp:1-15 [Conf]
   
2. Tomasz Borzyszkowski
   Moving Specification Structures Between Logical Systems. [Citation Graph (0, 0)][DBLP]
   WADT, 1998, pp:16-30 [Conf]
   
3. Roberto Bruni, Fabio Gadducci, Ugo Montanari
   Normal Forms for Partitions and Relations. [Citation Graph (0, 0)][DBLP]
   WADT, 1998, pp:31-47 [Conf]
   
4. Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
   Parameterisation of Logics. [Citation Graph (0, 0)][DBLP]
   WADT, 1998, pp:48-62 [Conf]
   
5. Corina Cîrstea
   Semantic Constructions for Hidden Algebra. [Citation Graph (0, 0)][DBLP]
   WADT, 1998, pp:63-78 [Conf]
   
6. Andrea Corradini, Fabio Gadducci
   Functorial Semantics for Multi-algebras. [Citation Graph (0, 0)][DBLP]
   WADT, 1998, pp:79-91 [Conf]
   
7. Andrea Corradini, Martin Große-Rhode, Reiko Heckel
   An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. [Citation Graph (0, 0)][DBLP]
   WADT, 1998, pp:92-106 [Conf]
   
8. Sophie Coudert, Gilles Bernot, Pascale Le Gall
   Hierarchical Heterogeneous Specifications. [Citation Graph (0, 0)][DBLP]
   WADT, 1998, pp:107-121 [Conf]
   
9. Rachid Echahed, Jean-Christophe Janodet
   Parallel Admissible Graph Rewriting. [Citation Graph (0, 0)][DBLP]
   WADT, 1998, pp:122-137 [Conf]
   
10. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
    Refinements and Modules for Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:138-151 [Conf]
    
11. Annegret Habel, Detlef Plump
    Complete Strategies for Term Graph Narrowing. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:152-167 [Conf]
    
12. Hélène Kirchner, Pierre-Etienne Moreau
    Non-deterministic Computations in ELAN. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:168-182 [Conf]
    
13. Beata Konikowska
    Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:183-197 [Conf]
    
14. Till Mossakowski
    Translationg OBJ3 into CASL: The Institution Level. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:198-215 [Conf]
    
15. Peter D. Mosses
    CASL: A Guided Tour of Its Design. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:216-240 [Conf]
    
16. Julia Padberg
    Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:241-260 [Conf]
    
17. Isabel Pita, Narciso Martí-Oliet
    Using Reflection to Specify Transaction Sequences in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:261-276 [Conf]
    
18. Pascal Poizat, Christine Choppy, Jean-Claude Royer
    Concurrency and Data Types: A Specification Method: An Example with LOTOS. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:277-292 [Conf]
    
19. Jaime Ramos, Amílcar Sernadas
    The Situation and State Calculus versus Branching Temporal Logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:293-309 [Conf]
    
20. Pedro Resende
    Modular Specification of Concurrent Systems with Observational Logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:310-325 [Conf]
    
21. Martin Wirsing, John N. Crossley, Hannes Peterreins
    Proof Normalization of Structured Algebraic Specifications Is Convergent. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:326-340 [Conf]