Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/category:"
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}
}
@proceedings{DBLP:conf/category/1974,
editor = {Ernest G. Manes},
title = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07142-3},
doi = {10.1007/3-540-07142-3},
isbn = {3-540-07142-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/1974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Alagic74,
author = {Suad Alagic},
editor = {Ernest G. Manes},
title = {Categorical theory of tree processing},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {65--72},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_62},
doi = {10.1007/3-540-07142-3\_62},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/category/Alagic74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Anderson74,
author = {Brian D. O. Anderson},
editor = {Ernest G. Manes},
title = {A control theorist looks at abstract nonsense},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {35--50},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_60},
doi = {10.1007/3-540-07142-3\_60},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Anderson74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/AndersonAM74,
author = {Brian D. O. Anderson and
Michael A. Arbib and
Ernest G. Manes},
editor = {Ernest G. Manes},
title = {Realization of multilinear and multidcomposable machines},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {73--79},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_63},
doi = {10.1007/3-540-07142-3\_63},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/AndersonAM74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/ArbibM74,
author = {Michael A. Arbib and
Ernest G. Manes},
editor = {Ernest G. Manes},
title = {Basic concepts of category theory applicable to computation and control},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {1--34},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_59},
doi = {10.1007/3-540-07142-3\_59},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/ArbibM74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/ArbibM74a,
author = {Michael A. Arbib and
Ernest G. Manes},
editor = {Ernest G. Manes},
title = {A categorist's view of automata and systems},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {51--64},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_61},
doi = {10.1007/3-540-07142-3\_61},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/ArbibM74a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/ArbibM74b,
author = {Michael A. Arbib and
Ernest G. Manes},
editor = {Ernest G. Manes},
title = {Fuzzy morphism in automata theory},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {80--86},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_64},
doi = {10.1007/3-540-07142-3\_64},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/ArbibM74b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/ArbibM74c,
author = {Michael A. Arbib and
Ernest G. Manes},
editor = {Ernest G. Manes},
title = {Time-varying systems},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {87--92},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_65},
doi = {10.1007/3-540-07142-3\_65},
timestamp = {Thu, 19 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/ArbibM74c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Bainbridge74,
author = {E. S. Bainbridge},
editor = {Ernest G. Manes},
title = {Adressed machines and duality},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {93--98},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_66},
doi = {10.1007/3-540-07142-3\_66},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Bainbridge74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Baker74,
author = {John L. Baker},
editor = {Ernest G. Manes},
title = {Factorization of Scott-style automata},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {99--105},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_67},
doi = {10.1007/3-540-07142-3\_67},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Baker74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Benson74,
author = {David B. Benson},
editor = {Ernest G. Manes},
title = {An abstract machine theory for formal language parsers},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {106--111},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_68},
doi = {10.1007/3-540-07142-3\_68},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Benson74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/BrockettW74,
author = {Roger W. Brockett and
Alan S. Willsky},
editor = {Ernest G. Manes},
title = {Some structural properties of automata defined on groups},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {112--118},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_69},
doi = {10.1007/3-540-07142-3\_69},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/BrockettW74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Budach74,
author = {Lothar Budach},
editor = {Ernest G. Manes},
title = {Automata in additive categories with applications to stochastic linear
automata},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {119--125},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_70},
doi = {10.1007/3-540-07142-3\_70},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Budach74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/BurstallT74,
author = {Rod M. Burstall and
James W. Thatcher},
editor = {Ernest G. Manes},
title = {The algebraic theory of recursive program schemes},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {126--131},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_71},
doi = {10.1007/3-540-07142-3\_71},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/BurstallT74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Carlson74,
author = {Lee A. Carlson},
editor = {Ernest G. Manes},
title = {Realization is continuously universal},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {132--136},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_72},
doi = {10.1007/3-540-07142-3\_72},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Carlson74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/EhrigK74,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski},
editor = {Ernest G. Manes},
title = {Power and initial automata in pseudoclosed categories},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {144--150},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_74},
doi = {10.1007/3-540-07142-3\_74},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/EhrigK74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/EhrigKP74,
author = {Hartmut Ehrig and
Wolfgang K{\"{u}}hnel and
Michael Pfender},
editor = {Ernest G. Manes},
title = {Diagram characterization},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {137--143},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_73},
doi = {10.1007/3-540-07142-3\_73},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/EhrigKP74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Goguen74,
author = {Joseph A. Goguen},
editor = {Ernest G. Manes},
title = {Semantics of computation},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {151--163},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_75},
doi = {10.1007/3-540-07142-3\_75},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Goguen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/HeltonH74,
author = {F. Joanne Helton and
J. William Helton},
editor = {Ernest G. Manes},
title = {Scattering theory and non linear systems},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {164--169},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_76},
doi = {10.1007/3-540-07142-3\_76},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/HeltonH74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Hoehnke74,
author = {Hans{-}J{\"{u}}rgen Hoehnke},
editor = {Ernest G. Manes},
title = {Synthesis and complexity of logical systems},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {170--173},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_77},
doi = {10.1007/3-540-07142-3\_77},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Hoehnke74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Hotz74,
author = {G{\"{u}}nter Hotz},
editor = {Ernest G. Manes},
title = {Strukturelle Verwandtschaften von semi-Thue-Systemen},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {174--179},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_78},
doi = {10.1007/3-540-07142-3\_78},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Hotz74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Kamen74,
author = {Edward W. Kamen},
editor = {Ernest G. Manes},
title = {Control of linear continuous-time systems defined over rings of distributions},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {180--185},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_79},
doi = {10.1007/3-540-07142-3\_79},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Kamen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Merzenich74,
author = {Wolfgang Merzenich},
editor = {Ernest G. Manes},
title = {Cellular automata with additive local transition},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {186--192},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_80},
doi = {10.1007/3-540-07142-3\_80},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Merzenich74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/MeseguerS74,
author = {Jos{\'{e}} Meseguer and
Ignacio Sols},
editor = {Ernest G. Manes},
title = {Automata in semimodule categories},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {193--198},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_81},
doi = {10.1007/3-540-07142-3\_81},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/MeseguerS74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/OnatG74,
author = {E. Turan Onat and
James Geary},
editor = {Ernest G. Manes},
title = {Representation of a class of nonlinear systems},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {199--203},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_82},
doi = {10.1007/3-540-07142-3\_82},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/OnatG74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/RissanenW74,
author = {Jorma Rissanen and
Bostwick F. Wyman},
editor = {Ernest G. Manes},
title = {Duals of input/output maps},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {204--208},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_83},
doi = {10.1007/3-540-07142-3\_83},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/RissanenW74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Wand74,
author = {Mitchell Wand},
editor = {Ernest G. Manes},
title = {An algebraic formulation of the Chomsky hierarchy},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {209--213},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_84},
doi = {10.1007/3-540-07142-3\_84},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Wand74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Wand74a,
author = {Mitchell Wand},
editor = {Ernest G. Manes},
title = {On the recursive specification of data types},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {214--217},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_85},
doi = {10.1007/3-540-07142-3\_85},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Wand74a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Wyman74,
author = {Bostwick F. Wyman},
editor = {Ernest G. Manes},
title = {Linear Systems over rings of operators},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {218--223},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_86},
doi = {10.1007/3-540-07142-3\_86},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Wyman74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Wymore74,
author = {A. Wayne Wymore},
editor = {Ernest G. Manes},
title = {The tricotyledon theory of system design},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {224--230},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_87},
doi = {10.1007/3-540-07142-3\_87},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/category/Wymore74.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-27 16:30 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:
