iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/db/conf/am/am1987.html

dblp: Algebraic Methods 1987

default search action

combined dblp search
author search
venue search
publication search

ask others

Algebraic Methods 1987: Passau, Germany

> Home > Conferences and Workshops > Algebraic Methods

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/am/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/1987
Martin Wirsing, Jan A. Bergstra:
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]. Lecture Notes in Computer Science 394, Springer 1989, ISBN 3-540-51698-0

Algebraic Specification

- view
  authority control:
- export record
  dblp key:
  - conf/am/Partsch87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/Partsch87
Helmuth Partsch:
Algebraic Specification: A Step Towards Future Software Engineering. 7-30
- view
  authority control:
- export record
  dblp key:
  - conf/am/BidoitGM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/BidoitGM87
Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin:
How to Make Algebraic Specifications More Understandable?. 31-67
- view
  authority control:
- export record
  dblp key:
  - conf/am/KlaerenI87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/KlaerenI87
Herbert Klaeren, Klaus Indermark:
Efficient Implementation of an Algebraic Specification Language. 69-90
- view
  authority control:
- export record
  dblp key:
  - conf/am/AstesianoGRZ87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/AstesianoGRZ87
Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca:
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. 91-116
- view
  authority control:
- export record
  dblp key:
  - conf/am/Reichel87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/Reichel87
Horst Reichel:
Software Specification by Behavioural Canons. 117-138

The Design Language COLD

- view
  authority control:
- export record
  dblp key:
  - conf/am/Jonkers87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/Jonkers87
H. B. M. Jonkers:
An Introduction to COLD-K. 139-205
- view
  authority control:
- export record
  dblp key:
  - conf/am/BaatsFG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/BaatsFG87
W. E. Baats, Loe M. G. Feijs, J. H. A. Gelissen:
A Formal Specifications of INGRES. 207-245
- view
  authority control:
- export record
  dblp key:
  - conf/am/KoymannsL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/KoymannsL87
C. P. J. Koymanns, Gerard R. Renardel de Lavalette:
The Logic MPL_omega. 247-282
- view
  authority control:
- export record
  dblp key:
  - conf/am/Jonkers87a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/Jonkers87a
H. B. M. Jonkers:
Description Algebra. 283-306
- view
  authority control:
- export record
  dblp key:
  - conf/am/Feijs87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/Feijs87
Loe M. G. Feijs:
The Calculus lambda-pi. 307-330

Rapid Prototyping with Algebraic Specification

- view
  authority control:
- export record
  dblp key:
  - conf/am/HussmannG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/HussmannG87
Heinrich Hußmann, Alfons Geser:
The RAP System as a Tool for Testing COLD Specifications. 331-345
- view
  authority control:
- export record
  dblp key:
  - conf/am/Geser87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/Geser87
Alfons Geser:
A Specification of the intel 8085 Microprocessor: A Case Study. 347-401
- view
  authority control:
- export record
  dblp key:
  - conf/am/HussmannR87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/HussmannR87
Heinrich Hußmann, Christian Rank:
Specification and Prototyping of a Compiler for a Small Applicative Language. 403-418
- view
  authority control:
- export record
  dblp key:
  - conf/am/LavazzaC87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/LavazzaC87
Luigi Lavazza, Stefano Crespi-Reghizzi:
Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. 419-446

An Algebraic Approach to Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/am/BergstraK87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/BergstraK87
Jan A. Bergstra, Jan Willem Klop:
ACT_tau: A Universal Axiom System for Process Specification. 447-463
- view
  authority control:
- export record
  dblp key:
  - conf/am/GlabbeekV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/GlabbeekV87
Rob J. van Glabbeek, Frits W. Vaandrager:
Modular Specifications in Process Algebra with Curious Queues. 465-506
- view
  authority control:
- export record
  dblp key:
  - conf/am/Mauw87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/am/Mauw87
Sjouke Mauw:
An Algebraic Specification of Process Algebra, Including Two Examples. 507-554

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.