default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/category/category1988.bht:"
download as .bib file
@proceedings{DBLP:conf/category/1988,
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51722-7},
doi = {10.1007/3-540-51722-7},
isbn = {3-540-51722-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/AndrekaGS88,
author = {Hajnal Andr{\'{e}}ka and
R. J. Greechie and
George E. Strecker},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {On Residuated Approximations},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {333--339},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_22},
doi = {10.1007/3-540-51722-7\_22},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/category/AndrekaGS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/BentleyH88,
author = {H. L. Bentley and
Worthen Hunsaker},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Cauchy Sequences in Quasi-Uniform Spaces: Categorical Aspects},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {278--285},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_16},
doi = {10.1007/3-540-51722-7\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/BentleyH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Classen88,
author = {Ingo Cla{\ss}en},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Revised {ACT} {ONE:} Categorical Constructions for an Algebraic Specification
Language},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {124--141},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_8},
doi = {10.1007/3-540-51722-7\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Classen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/EhrichSS88,
author = {Hans{-}Dieter Ehrich and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Objects, Object Types, and Object Identification},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {142--156},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_9},
doi = {10.1007/3-540-51722-7\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/EhrichSS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Ehrig88,
author = {Hartmut Ehrig},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Categorical Concept of Constraints for Algebraic Specifications},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {1--15},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_1},
doi = {10.1007/3-540-51722-7\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Ehrig88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/EhrigFHLP88,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen and
Michael L{\"{o}}we and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Categories for the Development of Algebraic Module Specifications},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {157--184},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_10},
doi = {10.1007/3-540-51722-7\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/EhrigFHLP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Gray88,
author = {John W. Gray},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {The Integration of Logical and Algebraic Types},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {16--35},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_2},
doi = {10.1007/3-540-51722-7\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Gray88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Grosse-Rhode88,
author = {Martin Gro{\ss}e{-}Rhode},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Parameterized Data Type and Process Specifications Using Projection
Algebras},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {185--197},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_11},
doi = {10.1007/3-540-51722-7\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Grosse-Rhode88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Haxthausen88,
author = {Anne E. Haxthausen},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Parameterized Algebraic Domain Equations},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {198--219},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_12},
doi = {10.1007/3-540-51722-7\_12},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/category/Haxthausen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/HerrlichE88,
author = {Horst Herrlich and
Hartmut Ehrig},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {The Construct {PRO} of Projection Spaces: Its Internal Structure},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {286--293},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_17},
doi = {10.1007/3-540-51722-7\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/HerrlichE88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Husek88,
author = {Miroslav Husek},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Categories and Mathematical Morphology},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {294--301},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_18},
doi = {10.1007/3-540-51722-7\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Husek88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Kreowski88,
author = {Hans{-}J{\"{o}}rg Kreowski},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Colimits as Parameterized Data Types},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {36--49},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_3},
doi = {10.1007/3-540-51722-7\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Kreowski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Mahr88,
author = {Bernd Mahr},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Empty Carriers: The Categorical Burden on Logic},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {50--65},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_4},
doi = {10.1007/3-540-51722-7\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Mahr88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Manes88,
author = {Ernest G. Manes},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Monads, Matrices and Generalized Dynamic Algebra},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {66--81},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_5},
doi = {10.1007/3-540-51722-7\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Manes88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Melton88,
author = {Austin Melton},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Topological Spaces for Cpos},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {302--314},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_19},
doi = {10.1007/3-540-51722-7\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Melton88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/OrejasNE88,
author = {Fernando Orejas and
Pilar Nivela and
Hartmut Ehrig},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Semantical Constructions for Categories of Behavioural Specifications},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {220--243},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_13},
doi = {10.1007/3-540-51722-7\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/OrejasNE88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/OrejasSC88,
author = {Fernando Orejas and
Vera Sacrist{\'{a}}n and
Silvia Clerici},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Development of Algebraic Specifications with Constraints},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {102--123},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_7},
doi = {10.1007/3-540-51722-7\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/OrejasSC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Poigne88,
author = {Axel Poign{\'{e}}},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Foundations are Rich Institutions, but Institutions are Poor Foundations},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {82--101},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_6},
doi = {10.1007/3-540-51722-7\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Poigne88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Preuss88,
author = {Gerhard Preu{\ss}},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {On the Topological Structures of Nets},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {315--324},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_20},
doi = {10.1007/3-540-51722-7\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Preuss88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Qian88,
author = {Zhenyu Qian},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization
and Parameter Passing},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {244--260},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_14},
doi = {10.1007/3-540-51722-7\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Qian88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Schwarz88,
author = {Friedhelm Schwarz},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Description of the Topological Universe Hull},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {325--332},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_21},
doi = {10.1007/3-540-51722-7\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Schwarz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Wagner88,
author = {Eric G. Wagner},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {On Declarations},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {261--277},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_15},
doi = {10.1007/3-540-51722-7\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Wagner88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Wyler88,
author = {Oswald Wyler},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {On Convergence of Filters and Ultrafilters to Subsets},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {340--350},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_23},
doi = {10.1007/3-540-51722-7\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Wyler88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-01-07 01:45 CET 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:
