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/compass94.bht:"
download as .bib file
@proceedings{DBLP:conf/compass/1994,
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014419},
doi = {10.1007/BFB0014419},
isbn = {3-540-59132-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Aspinall94,
author = {David Aspinall},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Types, Subtypes, and {ASL+}},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {116--131},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014424},
doi = {10.1007/BFB0014424},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/Aspinall94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BachmairGS94,
author = {Leo Bachmair and
Harald Ganzinger and
J{\"{u}}rgen Stuber},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Combining Algebra and Universal Algebra in First-Order Theorem Proving:
The Case of Commutative Rings},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {1--29},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014420},
doi = {10.1007/BFB0014420},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BachmairGS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Beeri94,
author = {Catriel Beeri},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Bulk Types and Query Language Design},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {30--47},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014421},
doi = {10.1007/BFB0014421},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Beeri94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BertE94,
author = {Didier Bert and
Rachid Echahed},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {On the Operational Semantics of the Algebraic and Logic Programming
Language {LPG}},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {132--152},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014425},
doi = {10.1007/BFB0014425},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BertE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BidoitH94,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Behavioural Theories},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {153--169},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014426},
doi = {10.1007/BFB0014426},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BidoitH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Broy94,
author = {Manfred Broy},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Equations for Describing Dynamic Nets of Communicating Systems},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {170--187},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014427},
doi = {10.1007/BFB0014427},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Broy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Cerioli94,
author = {Maura Cerioli},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {A Lazy Approach to Partial Algebras},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {188--202},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014428},
doi = {10.1007/BFB0014428},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Cerioli94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Denker94,
author = {Grit Denker},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Transactions in Object-Oriented Specifications},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {203--218},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014429},
doi = {10.1007/BFB0014429},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Denker94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrichS94,
author = {Hans{-}Dieter Ehrich and
Am{\'{\i}}lcar Sernadas},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Local Specification of Distributed Families of Sequential Objects},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {219--235},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014430},
doi = {10.1007/BFB0014430},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrichS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigLO94,
author = {Hartmut Ehrig and
Michael L{\"{o}}we and
Fernando Orejas},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Dynamic Abstract Data Types Based on Algebraic Graph Transformations},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {236--254},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014431},
doi = {10.1007/BFB0014431},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrigLO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FernandezJ94,
author = {Maribel Fern{\'{a}}ndez and
Jean{-}Pierre Jouannaud},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Modular Termination of Term Rewriting Systems Revisited},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {255--272},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014432},
doi = {10.1007/BFB0014432},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/FernandezJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FiadeiroC94,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Institutions for Behaviour Specification},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {273--289},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014433},
doi = {10.1007/BFB0014433},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/FiadeiroC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/GogollaC94,
author = {Martin Gogolla and
Maura Cerioli},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {What is an Abstract Data Type, after all?},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {499--523},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014447},
doi = {10.1007/BFB0014447},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/GogollaC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/GogollaH94,
author = {Martin Gogolla and
Rudolf Herzig},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {An Algebraic Semantics for the Object Specification Language {TROLL}
\emph{light}},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {290--396},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014434},
doi = {10.1007/BFB0014434},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/GogollaH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HenselR94,
author = {Ulrich Hensel and
Horst Reichel},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Defining Equations in Terminal Coalgebras},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {307--318},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014435},
doi = {10.1007/BFB0014435},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/HenselR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HintermeierKK94,
author = {Claus Hintermeier and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Sort Inheritance for Order-Sorted Equational Presentations},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {319--335},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014436},
doi = {10.1007/BFB0014436},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/HintermeierKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Hussmann94,
author = {Heinrich Hu{\ss}mann},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Axiomatic Specification of Large Information Systems: Experiences
and Consequences},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {336--350},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014437},
doi = {10.1007/BFB0014437},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Hussmann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/LechnerLW94,
author = {Ulrike Lechner and
Christian Lengauer and
Martin Wirsing},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {An Object-Oriented Airport: Specification and Refinement in Maude},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {351--367},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014438},
doi = {10.1007/BFB0014438},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/LechnerLW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Meinke94,
author = {Karl Meinke},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Topological Methods for Algebraic Specification},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {368--388},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014439},
doi = {10.1007/BFB0014439},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Meinke94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/MeseguerM94,
author = {Jos{\'{e}} Meseguer and
Narciso Mart{\'{\i}}{-}Oliet},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {From Abstract Data Types to Logical Frameworks},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {48--80},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014422},
doi = {10.1007/BFB0014422},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/MeseguerM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Mossakowski94,
author = {Till Mossakowski},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {A Hierarchy of Institutions Seperated by Properties of Parameterized
Abstract Data Types},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {389--405},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014440},
doi = {10.1007/BFB0014440},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Mossakowski94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Parisi-PresicceP94,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Dynamical Behavior of Object Systems},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {406--419},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014441},
doi = {10.1007/BFB0014441},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Parisi-PresicceP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/SernadasSV94,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Jos{\'{e}} Manuel Valen{\c{c}}a},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {A Theory-based Typological Notion of Institutions},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {420--436},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014442},
doi = {10.1007/BFB0014442},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/SernadasSV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Underwood94,
author = {Judith L. Underwood},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Typing Abstract Data Types},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {437--452},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014443},
doi = {10.1007/BFB0014443},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Underwood94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/WalickiM94,
author = {Michal Walicki and
Sigurd Meldal},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Multialgebras, Power Algebras and Complete Calculi of Identities and
Inclusions},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {453--468},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014444},
doi = {10.1007/BFB0014444},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/WalickiM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Wirsing94,
author = {Martin Wirsing},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Algebraic Specification Languages: An Overview},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {81--115},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014423},
doi = {10.1007/BFB0014423},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Wirsing94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Wolter94,
author = {Uwe Wolter},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Institutional Frames},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {469--482},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014445},
doi = {10.1007/BFB0014445},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Wolter94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Zucca94,
author = {Elena Zucca},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Implementation of Data Structures in an Imperative Framework},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {483--498},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014446},
doi = {10.1007/BFB0014446},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Zucca94.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-05-08 20:02 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:
