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

Link to original content: https://dblp.uni-trier.de/db/series/ifip/afss1999.html

dblp: Algebraic Foundations of Systems Specification

default search action

combined dblp search
author search
venue search
publication search

ask others

Algebraic Foundations of Systems Specification 1999

> Home > Series

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:
  - series/ifip/afss1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/afss1999
Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner:
Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, Springer 1999, ISBN 978-3-642-64151-0
- view
  authority control:
- export record
  dblp key:
  - series/ifip/GaudelB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/GaudelB99
Marie-Claude Gaudel, Gilles Bernot:
The Role of Formal Specifications. 1-12
- view
  authority control:
- export record
  dblp key:
  - series/ifip/SannellaT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/SannellaT99
Donald Sannella, Andrzej Tarlecki:
Algebraic Preliminaries. 13-30
- view
  authority control:
- export record
  dblp key:
  - series/ifip/CerioliMR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/CerioliMR99
Maura Cerioli, Till Mossakowski, Horst Reichel:
From Total Equational to Partial First-Order Logic. 31-104
- view
  authority control:
- export record
  dblp key:
  - series/ifip/Tarlecki99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/Tarlecki99
Andrzej Tarlecki:
Institutions: An Abstract Framework for Formal Specifications. 105-130
- view
  authority control:
- export record
  dblp key:
  - series/ifip/Reichel99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/Reichel99
Horst Reichel:
Specification Semantics. 131-158
- view
  authority control:
- export record
  dblp key:
  - series/ifip/Orejas99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/Orejas99
Fernando Orejas:
Structuring and Modularity. 159-200
- view
  authority control:
- export record
  dblp key:
  - series/ifip/EhrigK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/EhrigK99
Hartmut Ehrig, Hans-Jörg Kreowski:
Refinement and Implementation. 201-242
- view
  authority control:
- export record
  dblp key:
  - series/ifip/SannellaW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/SannellaW99
Donald Sannella, Martin Wirsing:
Specification Languages. 243-272
- view
  authority control:
- export record
  dblp key:
  - series/ifip/Kirchner99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/Kirchner99
Hélène Kirchner:
Term Rewriting. 273-320
- view
  authority control:
- export record
  dblp key:
  - series/ifip/Padawitz99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/Padawitz99
Peter Padawitz:
Proof in Flat Specifications. 321-384
- view
  authority control:
- export record
  dblp key:
  - series/ifip/BidoitCH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/BidoitCH99
Michel Bidoit, María Victoria Cengarle, Rolf Hennicker:
Proof Systems for Structured Specifications and Their Refinements. 385-433
- view
  authority control:
- export record
  dblp key:
  - series/ifip/Ehrich99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/Ehrich99
Hans-Dieter Ehrich:
Object Specification. 435-465
- view
  authority control:
- export record
  dblp key:
  - series/ifip/AstesianoBR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/AstesianoBR99
Egidio Astesiano, Manfred Broy, Gianna Reggio:
Algebraic Specification of Concurrent Systems. 467-520
- view
  authority control:
- export record
  dblp key:
  - series/ifip/BasinK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ifip/BasinK99
David A. Basin, Bernd Krieg-Brückner:
Formalization of the Development Process. 521-562

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.