Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 = {Tue, 14 May 2019 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 = {Tue, 14 May 2019 10:00:39 +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}
}
a service of 
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.
retrieved on 2024-06-04 05:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
