Login / Signup

Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability.

Lawrence S. MossJosé MeseguerJoseph A. Goguen
Published in: Category Theory and Computer Science (1987)
Keyphrases
  • spatial reasoning
  • topological spaces
  • case study
  • interval algebra
  • relation algebra
  • clifford algebra
  • data sets
  • neural network
  • artificial intelligence
  • image processing
  • website
  • probabilistic model