• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 24 matches

• 1989
• 
  Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß:
  Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]. Lecture Notes in Computer Science 393, Springer 1989, ISBN 3-540-51722-7 [contents]
• 1988
• 
  Hajnal Andréka, R. J. Greechie, George E. Strecker:
  On Residuated Approximations. Categorial Methods in Computer Science 1988: 333-339
• 
  H. L. Bentley, Worthen Hunsaker:
  Cauchy Sequences in Quasi-Uniform Spaces: Categorical Aspects. Categorial Methods in Computer Science 1988: 278-285
• 
  Ingo Claßen:
  Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language. Categorial Methods in Computer Science 1988: 124-141
• 
  Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas:
  Objects, Object Types, and Object Identification. Categorial Methods in Computer Science 1988: 142-156
• 
  Hartmut Ehrig:
  Categorical Concept of Constraints for Algebraic Specifications. Categorial Methods in Computer Science 1988: 1-15
• 
  Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce:
  Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science 1988: 157-184
• 
  John W. Gray:
  The Integration of Logical and Algebraic Types. Categorial Methods in Computer Science 1988: 16-35
• 
  Martin Große-Rhode:
  Parameterized Data Type and Process Specifications Using Projection Algebras. Categorial Methods in Computer Science 1988: 185-197
• 
  Anne E. Haxthausen:
  Parameterized Algebraic Domain Equations. Categorial Methods in Computer Science 1988: 198-219
• 
  Horst Herrlich, Hartmut Ehrig:
  The Construct PRO of Projection Spaces: Its Internal Structure. Categorial Methods in Computer Science 1988: 286-293
• 
  Miroslav Husek:
  Categories and Mathematical Morphology. Categorial Methods in Computer Science 1988: 294-301
• 
  Hans-Jörg Kreowski:
  Colimits as Parameterized Data Types. Categorial Methods in Computer Science 1988: 36-49
• 
  Bernd Mahr:
  Empty Carriers: The Categorical Burden on Logic. Categorial Methods in Computer Science 1988: 50-65
• 
  Ernest G. Manes:
  Monads, Matrices and Generalized Dynamic Algebra. Categorial Methods in Computer Science 1988: 66-81
• 
  Austin Melton:
  Topological Spaces for Cpos. Categorial Methods in Computer Science 1988: 302-314
• 
  Fernando Orejas, Pilar Nivela, Hartmut Ehrig:
  Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science 1988: 220-243
• 
  Fernando Orejas, Vera Sacristán, Silvia Clerici:
  Development of Algebraic Specifications with Constraints. Categorial Methods in Computer Science 1988: 102-123
• 
  Axel Poigné:
  Foundations are Rich Institutions, but Institutions are Poor Foundations. Categorial Methods in Computer Science 1988: 82-101
• 
  Gerhard Preuß:
  On the Topological Structures of Nets. Categorial Methods in Computer Science 1988: 315-324
• 
  Zhenyu Qian:
  Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing. Categorial Methods in Computer Science 1988: 244-260
• 
  Friedhelm Schwarz:
  Description of the Topological Universe Hull. Categorial Methods in Computer Science 1988: 325-332
• 
  Eric G. Wagner:
  On Declarations. Categorial Methods in Computer Science 1988: 261-277
• 
  Oswald Wyler:
  On Convergence of Filters and Ultrafilters to Subsets. Categorial Methods in Computer Science 1988: 340-350