Constraints for Argument Filterings

DOI10.1007/978-3-540-69507-3_50zbMath1131.68468OpenAlexW1531034707MaRDI QIDQ5448809

Nao Hirokawa, Harald Zankl, Aart Middeldorp

Publication date: 7 March 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69507-3_50

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (3)

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion ⋮ KBO orientability ⋮ SAT solving for termination proofs with recursive path orders and dependency pairs

This page was built for publication: Constraints for Argument Filterings