Initial Computability Algebraic Specifications and Partial Algebras

PublikationenPublications

• Nach AutorBy Author
  • Horst ReichelHorst Reichel
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Initial Computability Algebraic Specifications and Partial Algebras

Horst ReichelHorst Reichel

• ISBN: ISBN-13: 978-0198538066

Horst Reichel
Initial Computability Algebraic Specifications and Partial Algebras
Clarendon Press, 1987

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@book{R1987,
  author    = {Horst Reichel},
  title     = {Initial Computability Algebraic Specifications and Partial
               Algebras},
  publisher = {Clarendon Press},
  year      = {1987}
}