Login / Signup

Confluence of Conditional Rewriting in Logic Form.

Raúl GutiérrezSalvador LucasMiguel Vítores
Published in: FSTTCS (2021)
Keyphrases
  • logic programming
  • database
  • conditional logic
  • rewrite systems
  • neural network
  • automated reasoning
  • asynchronous circuits