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