782 followers
Strong and weak operational termination of order-sorted rewrite theories http://t.co/24k8AMFLpC
Strong and weak operational termination of order-sorted rewrite theories http://t.co/24k8AMFLpC
2D Dependency Pairs for Proving Operational Termination of CTRSs http://t.co/Nea37OcqKu
Our paper on verification of relaxed memory programs with Maude -- http://t.co/HVzqKutWiY
Our paper on verification of relaxed memory programs with Maude -- http://t.co/HVzqKutWiY