View of Liveness Verification in TRSs Using Tree Automata and Termination Analysis

Return to Article Details Liveness Verification in TRSs Using Tree Automata and Termination Analysis Download Download PDF