Login / Signup

On the existence of a modal-logical basis for monadic second-order logic.

Lauri HellaTero Tulenheimo
Published in: J. Log. Comput. (2013)
Keyphrases
  • database
  • expert systems
  • natural language
  • data analysis
  • special case
  • pattern matching