Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/adt/1990,
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54496-8},
  doi          = {10.1007/3-540-54496-8},
  isbn         = {3-540-54496-8},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Barzdins90,
  author       = {Guntis Barzdins},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {{ADT} Implementation and Completion by Induction from Examples},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_1},
  doi          = {10.1007/3-540-54496-8\_1},
  timestamp    = {Sun, 06 Oct 2024 20:55:43 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Barzdins90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Bettaz90,
  author       = {Mohamed Bettaz},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {An Association of Algebraic Term Nets and Abstract Data Types for
                  Specifying Real Communication Protocols},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {11--30},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_2},
  doi          = {10.1007/3-540-54496-8\_2},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Bettaz90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/ClericiO90,
  author       = {Silvia Clerici and
                  Fernando Orejas},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {The Specification Language {GSBL}},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {31--51},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_3},
  doi          = {10.1007/3-540-54496-8\_3},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/ClericiO90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/DimitroviciH90,
  author       = {Christian Dimitrovici and
                  Ulrich Hummert},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Composition of Algebraic High-Level Nets},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {52--73},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_4},
  doi          = {10.1007/3-540-54496-8\_4},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/DimitroviciH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/EhrigP90,
  author       = {Hartmut Ehrig and
                  Francesco Parisi{-}Presicce},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {A Match Operation for Rule-Based Modular System Design},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {74--97},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_5},
  doi          = {10.1007/3-540-54496-8\_5},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/EhrigP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Grosse-Rhode90,
  author       = {Martin Gro{\ss}e{-}Rhode},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Towards Object-Oriented Algebraic Specifications},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {98--116},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_6},
  doi          = {10.1007/3-540-54496-8\_6},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Grosse-Rhode90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/LangeJ90,
  author       = {Steffen Lange and
                  Klaus P. Jantke},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Inductive Completion for Transformation of Equational Specifications},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {117--140},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_7},
  doi          = {10.1007/3-540-54496-8\_7},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/LangeJ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Lehmann90,
  author       = {Thomas Lehmann},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {A Notion of Implementation for the Specification Language {OBSCURE}},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {141--165},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_8},
  doi          = {10.1007/3-540-54496-8\_8},
  timestamp    = {Fri, 27 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Lehmann90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/MascariV90,
  author       = {Gianfranco Mascari and
                  Antonio Vincenzi},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Model-Theoretic Specifications and Back-and-Forth Equivalences},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {166--184},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_9},
  doi          = {10.1007/3-540-54496-8\_9},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/MascariV90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Meinke90,
  author       = {Karl Meinke},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Universal Algebra in Higher Types},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {185--203},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_10},
  doi          = {10.1007/3-540-54496-8\_10},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Meinke90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/NieuwenhuisO90,
  author       = {Robert Nieuwenhuis and
                  Fernando Orejas},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Clausal Rewriting: Applications and Implementation},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {204--219},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_11},
  doi          = {10.1007/3-540-54496-8\_11},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/NieuwenhuisO90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/OrejasN90,
  author       = {Fernando Orejas and
                  Pilar Nivela},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Constraints for Behavioural Specifications},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {220--245},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_12},
  doi          = {10.1007/3-540-54496-8\_12},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/OrejasN90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Reggio90,
  author       = {Gianna Reggio},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Entities: An Institution for Dynamic Systems},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {246--265},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_13},
  doi          = {10.1007/3-540-54496-8\_13},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Reggio90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Reichel90,
  author       = {Horst Reichel},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {A Two-Category Approach to Critical Pair Completion},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {266--273},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_14},
  doi          = {10.1007/3-540-54496-8\_14},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Reichel90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SannellaT90,
  author       = {Donald Sannella and
                  Andrzej Tarlecki},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {A Kernel Specification Formalism with Higher-Order Parameterization},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {274--296},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_15},
  doi          = {10.1007/3-540-54496-8\_15},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/SannellaT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SannellaT90a,
  author       = {Donald Sannella and
                  Andrzej Tarlecki},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Extended {ML:} Past, Present, and Future},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {297--322},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_16},
  doi          = {10.1007/3-540-54496-8\_16},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/SannellaT90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/StreicherW90,
  author       = {Thomas Streicher and
                  Martin Wirsing},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Dependent Types Considered Necessary for Specification Languages},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {323--340},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_17},
  doi          = {10.1007/3-540-54496-8\_17},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/StreicherW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Wagner90,
  author       = {Eric G. Wagner},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Generic Types in a Language for Data Directed Design},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {341--361},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_18},
  doi          = {10.1007/3-540-54496-8\_18},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Wagner90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Wolz90,
  author       = {Dietmar Wolz},
  editor       = {Hartmut Ehrig and
                  Klaus P. Jantke and
                  Fernando Orejas and
                  Horst Reichel},
  title        = {Design of a Compiler for Lazy Pattern Driven Narrowing},
  booktitle    = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
                  on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
                  1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {534},
  pages        = {362--379},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54496-8\_19},
  doi          = {10.1007/3-540-54496-8\_19},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Wolz90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}