Login / Signup

The ω-Regular seperation Axiom in lω-Spaces.

Jia-Liang XieShui-Li ChenGengda Li
Published in: QLSC (2012)
Keyphrases
  • inference rules
  • information retrieval
  • pattern recognition
  • modal logic
  • discrete data