• Mathematics
  • Published 1987

Initial computability, algebraic specifications, and partial algebras

@inproceedings{Reichel1987InitialCA,
  title={Initial computability, algebraic specifications, and partial algebras},
  author={Horst Reichel},
  year={1987}
}
Introduction Specification of abstract data types with partial operations Equational partiality Partial algebras defined by generators and relations Canons - initially restricting algebraic theories Canons of behaviour References Index. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 77 CITATIONS

Relating CASL with other specification languages: the institution level

  • Theor. Comput. Sci.
  • 2002
VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Equivalences among Various Logical Frameworks of Partial Algebras

VIEW 13 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Logics of Specification Languages

  • Monographs in Theoretical Computer Science. An EATCS Series
  • 2007
VIEW 5 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

Categorical Concepts for Parameterized Partial Specifications

  • Mathematical Structures in Computer Science
  • 1995
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Van Kampen Colimits and Path Uniqueness

  • Logical Methods in Computer Science
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

FILTER CITATIONS BY YEAR

1986
2019

CITATION STATISTICS

  • 7 Highly Influenced Citations