Login / Signup

Applying Tree Languages in Proof Theory.

Stefan Hetzl
Published in: LATA (2012)
Keyphrases
  • proof theory
  • tree languages
  • default reasoning
  • automated reasoning
  • tree automata
  • reasoning problems
  • object oriented
  • context free
  • bayesian networks
  • sufficient conditions
  • nonmonotonic reasoning