Search dblp for Publications

export results for "toc:db/conf/adt/adt1987.bht:"

 download as .bib file

@inproceedings{DBLP:conf/adt/Bidoit87,
  author       = {Michel Bidoit},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {The Stratified Loose Approach: {A} Generalization of Initial and Loose
                  Semantics},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_1},
  doi          = {10.1007/3-540-50325-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Bidoit87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/EhrigPBRDG87,
  author       = {Hartmut Ehrig and
                  Francesco Parisi{-}Presicce and
                  Paul Boehm and
                  Catharina Rieckhoff and
                  Christian Dimitrovici and
                  Martin Gro{\ss}e{-}Rhode},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Algebraic Data Type and Process Specifications based on Projection
                  Spaces},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {23--43},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_2},
  doi          = {10.1007/3-540-50325-0\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/EhrigPBRDG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/FiadeiroS87,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Am{\'{\i}}lcar Sernadas},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Structuring Theories on Consequence},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {44--72},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_3},
  doi          = {10.1007/3-540-50325-0\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/FiadeiroS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Ganzinger87,
  author       = {Harald Ganzinger},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Completion with History-Dependent Complexities for Generated Equations},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {73--91},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_4},
  doi          = {10.1007/3-540-50325-0\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Ganzinger87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/HabelKP87,
  author       = {Annegret Habel and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Detlef Plump},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Jungle Evaluation},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {92--112},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_5},
  doi          = {10.1007/3-540-50325-0\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/HabelKP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Hansen87,
  author       = {Horst Hansen},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {The {ACT} System: Experiences and Future Enhancements},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {113--130},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_6},
  doi          = {10.1007/3-540-50325-0\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Hansen87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/LehmannL87,
  author       = {Thomas Lehmann and
                  Jacques Loeckx},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {The Specification Language of {OBSCURE}},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {131--153},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_7},
  doi          = {10.1007/3-540-50325-0\_7},
  timestamp    = {Fri, 27 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/LehmannL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/MollerTW87,
  author       = {Bernhard M{\"{o}}ller and
                  Andrzej Tarlecki and
                  Martin Wirsing},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Algebraic Specifications of Reachable Higher-Order Algebras},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {154--169},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_8},
  doi          = {10.1007/3-540-50325-0\_8},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adt/MollerTW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Nipkow87,
  author       = {Tobias Nipkow},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Observing Non-Deterministic Data Types},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {170--183},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_9},
  doi          = {10.1007/3-540-50325-0\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Nipkow87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/NivelaO87,
  author       = {Pilar Nivela and
                  Fernando Orejas},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Initial Behaviour Semantics for Algebraic Specifications},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {184--207},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_10},
  doi          = {10.1007/3-540-50325-0\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/NivelaO87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Poigne87,
  author       = {Axel Poign{\'{e}}},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Partial Algebras, Subsorting, and Dependent Types: Prerequisites of
                  Error Handling in Algebraic Specifications},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {208--234},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_11},
  doi          = {10.1007/3-540-50325-0\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Poigne87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Reichel87,
  author       = {Horst Reichel},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Operational Semantics of Behavioural Canons based on Narrowing},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {235--248},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_12},
  doi          = {10.1007/3-540-50325-0\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Reichel87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Vrancken87,
  author       = {Jos L. M. Vrancken},
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {The Algebraic Specification of Semi-Computable Data Types},
  booktitle    = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  pages        = {249--259},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0\_13},
  doi          = {10.1007/3-540-50325-0\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Vrancken87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/adt/1987,
  editor       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
                  Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {332},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50325-0},
  doi          = {10.1007/3-540-50325-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/1987.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.