Login / Signup

Program Development in the Constructive Set Theory TK.

Martin C. Henson
Published in: Formal Aspects Comput. (1989)
Keyphrases
  • set theory
  • partial order
  • fuzzy set theory
  • first order logic
  • rough set theory
  • algebraic geometry
  • real time
  • rough sets
  • fuzzy sets