Login / Signup
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories.
Wan J. Fokkink
Chris Verhoef
Published in:
FASE (1999)
Keyphrases
</>
term rewriting
positive and negative
theorem proving
operational semantics
theorem prover
computer systems
knuth bendix
positive or negative
user interface
rewrite systems
cooperative
software development
software systems
development process
formal semantics
databases
knowledge base