Conferences in DBLP
Leo Bachmair , Harald Ganzinger , Jürgen Stuber Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. [Citation Graph (0, 0)][DBLP ] Conf ] Catriel Beeri Bulk Types and Query Language Design. [Citation Graph (0, 0)][DBLP ] Conf ] José Meseguer , Narciso Martí-Oliet From Abstract Data Types to Logical Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Wirsing Algebraic Specification Languages: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] David Aspinall Types, Subtypes, and ASL+. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Rachid Echahed On the Operational Semantics of the Algebraic and Logic Programming Language LPG. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Rolf Hennicker Behavioural Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Equations for Describing Dynamic Nets of Communicating Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Maura Cerioli A Lazy Approach to Partial Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Grit Denker Transactions in Object-Oriented Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich , Amílcar Sernadas Local Specification of Distributed Families of Sequential Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Michael Löwe , Fernando Orejas Dynamic Abstract Data Types Based on Algebraic Graph Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Maribel Fernández , Jean-Pierre Jouannaud Modular Termination of Term Rewriting Systems Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] José Luiz Fiadeiro , José Félix Costa Institutions for Behaviour Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gogolla , Rudolf Herzig An Algebraic Semantics for the Object Specification Language TROLL light . [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Hensel , Horst Reichel Defining Equations in Terminal Coalgebras. [Citation Graph (0, 0)][DBLP ] Conf ] Claus Hintermeier , Claude Kirchner , Hélène Kirchner Sort Inheritance for Order-Sorted Equational Presentations. [Citation Graph (0, 0)][DBLP ] Conf ] Heinrich Hußmann Axiomatic Specification of Large Information Systems: Experiences and Consequences. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrike Lechner , Christian Lengauer , Martin Wirsing An Object-Oriented Airport: Specification and Refinement in Maude. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Meinke Topological Methods for Algebraic Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Till Mossakowski A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Parisi-Presicce , Alfonso Pierantonio Dynamical Behavior of Object Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Amílcar Sernadas , Cristina Sernadas , José Manuel Valença A Theory-based Typological Notion of Institutions. [Citation Graph (0, 0)][DBLP ] Conf ] Judith L. Underwood Typing Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Walicki , Sigurd Meldal Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Wolter Institutional Frames. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Zucca Implementation of Data Structures in an Imperative Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gogolla , Maura Cerioli What is an Abstract Data Type, after all? [Citation Graph (0, 0)][DBLP ] Conf ] 