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/compass/compass92.bht:"
download as .bib file
@proceedings{DBLP:conf/compass/1992,
editor = {Hartmut Ehrig},
title = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57867-6},
doi = {10.1007/3-540-57867-6},
isbn = {3-540-57867-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BettazR92,
author = {Mohamed Bettaz and
Gianna Reggio},
editor = {Hartmut Ehrig},
title = {A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {98--112},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_5},
doi = {10.1007/3-540-57867-6\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/BettazR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/CerioliR92,
author = {Maura Cerioli and
Gianna Reggio},
editor = {Hartmut Ehrig},
title = {Institutions for Very Abstract Specifications},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {113--127},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_6},
doi = {10.1007/3-540-57867-6\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/CerioliR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Choppy92,
author = {Christine Choppy},
editor = {Hartmut Ehrig},
title = {About the Correctness and Adequacy of {PLUSS} Specifications},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {128--143},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_7},
doi = {10.1007/3-540-57867-6\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Choppy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/ClericiJO92,
author = {Silvia Clerici and
Rosa M. Jim{\'{e}}nez and
Fernando Orejas},
editor = {Hartmut Ehrig},
title = {Semantic Constructions in the Specification Language {GLIDER}},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {144--157},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_8},
doi = {10.1007/3-540-57867-6\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/ClericiJO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Conrad92,
author = {Stefan Conrad},
editor = {Hartmut Ehrig},
title = {On Certification of Specifications for {TROLL} light Objects},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {158--172},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_9},
doi = {10.1007/3-540-57867-6\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Conrad92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/DenkerG92,
author = {Grit Denker and
Martin Gogolla},
editor = {Hartmut Ehrig},
title = {Translating {TROLL} light Concepts to Maude},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {173--187},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_10},
doi = {10.1007/3-540-57867-6\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/DenkerG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigPR92,
author = {Hartmut Ehrig and
Julia Padberg and
Leila Ribeiro},
editor = {Hartmut Ehrig},
title = {Algebraic High-Level Nets: Petri Nets Revisited},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {188--206},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_11},
doi = {10.1007/3-540-57867-6\_11},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compass/EhrigPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/GoguenD92,
author = {Joseph A. Goguen and
Razvan Diaconescu},
editor = {Hartmut Ehrig},
title = {Towards an Algebraic Semantics for the Object Paradigm},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {1--29},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_1},
doi = {10.1007/3-540-57867-6\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/GoguenD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Grosse-RhodeW92,
author = {Martin Gro{\ss}e{-}Rhode and
Uwe Wolter},
editor = {Hartmut Ehrig},
title = {Two-Categorical Specification of Partial Algebras},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {207--219},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_12},
doi = {10.1007/3-540-57867-6\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Grosse-RhodeW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HennickerN92,
author = {Rolf Hennicker and
Friederike Nickl},
editor = {Hartmut Ehrig},
title = {A Behavioural Algebraic Framework for Modular System Design with Reuse},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {220--234},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_13},
doi = {10.1007/3-540-57867-6\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/HennickerN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Hermida92,
author = {Claudio Hermida},
editor = {Hartmut Ehrig},
title = {On Fibred Adjunctions and Completeness for Fibred Categories},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {235--251},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_14},
doi = {10.1007/3-540-57867-6\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Hermida92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Jouannaud92,
author = {Jean{-}Pierre Jouannaud},
editor = {Hartmut Ehrig},
title = {Rewriting Techniques for Software Engineering},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {30--52},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_2},
doi = {10.1007/3-540-57867-6\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Jouannaud92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/LevyA92,
author = {Jordi Levy and
Jaume Agust{\'{\i}}{-}Cullell},
editor = {Hartmut Ehrig},
title = {Implementing Inequality and Non-Deterministic Specifications with
Bi-Rewriting Systems},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {252--267},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_15},
doi = {10.1007/3-540-57867-6\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/LevyA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Liu92,
author = {Junbo Liu},
editor = {Hartmut Ehrig},
title = {A Semantic Basis of Logic-Independent Transformation},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {268--279},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_16},
doi = {10.1007/3-540-57867-6\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Liu92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Mosses92,
author = {Peter D. Mosses},
editor = {Hartmut Ehrig},
title = {Unified Algebras and Abstract Syntax},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {280--294},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_17},
doi = {10.1007/3-540-57867-6\_17},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compass/Mosses92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Parisi-PresicceP92,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Hartmut Ehrig},
title = {Structured Inheritance for Algebraic Class Specifications},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {295--309},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_18},
doi = {10.1007/3-540-57867-6\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Parisi-PresicceP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Poigne92,
author = {Axel Poign{\'{e}}},
editor = {Hartmut Ehrig},
title = {Identity and Existence, and Types in Algebra - {A} Survey of Sorts},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {53--78},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_3},
doi = {10.1007/3-540-57867-6\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Poigne92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Rieckhoff92,
author = {Catharina Rieckhoff},
editor = {Hartmut Ehrig},
title = {Towards a Theory for the Animation of Algebraic Specification},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {310--320},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_19},
doi = {10.1007/3-540-57867-6\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Rieckhoff92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Schobbens92,
author = {Pierre{-}Yves Schobbens},
editor = {Hartmut Ehrig},
title = {Second-Order Proof Systems for Algebraic Specification Languages},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {321--336},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_20},
doi = {10.1007/3-540-57867-6\_20},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Schobbens92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/SernadasCS92,
author = {Am{\'{\i}}lcar Sernadas and
Jos{\'{e}} F{\'{e}}lix Costa and
Cristina Sernadas},
editor = {Hartmut Ehrig},
title = {An Institution of Object Behaviour},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {337--351},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_21},
doi = {10.1007/3-540-57867-6\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/SernadasCS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Wagner92,
author = {Eric G. Wagner},
editor = {Hartmut Ehrig},
title = {Overloading and Inheritance},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {79--97},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_4},
doi = {10.1007/3-540-57867-6\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Wagner92.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-04-25 16:44 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:
