Login / Signup

Complexity of syntactical tree fragments of Independence-Friendly logic.

Fausto Barbero
Published in: Ann. Pure Appl. Log. (2021)
Keyphrases
  • tree structure
  • worst case
  • tree construction
  • logic programming
  • tree search
  • logical framework
  • defeasible logic