A Term Rewriting System for Kuratowski's Closure-Complement Problem.

Osama Al-Hassani Quratul-ain Mahesar Claudio Sacerdoti Coen Volker Sorge

Published in: RTA (2012)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
strictly convex
data sets
databases
neural network
multi agent
software engineering
online learning