A Resource-Based Logic for Termination and Non-termination Proofs.

Ton Chanh Le Cristian Gherghina Aquinas Hobor Wei-Ngan Chin

Published in: ICFEM (2014)

Keyphrases

rewrite systems
active rules
term rewriting
theorem proving
natural deduction
term rewrite systems
real time
resource constraints
modal logic
data sets
logic programming
management system
predicate logic
knowledge representation
proof search
web services
databases