Login / Signup

Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples.

Jörg EndrullisClemens GrabmayerDimitri HendriksJan Willem KlopVincent van Oostrom
Published in: Log. Methods Comput. Sci. (2014)
Keyphrases
  • term rewriting
  • rewrite systems
  • databases
  • expert systems
  • theorem proving
  • management system
  • distributed systems
  • complex systems
  • probabilistic model
  • computer systems
  • first order logic
  • inference rules