Programming Languages and Systems
From MaRDI portal
Publication:5902358
DOI10.1007/b94290zbMath1254.68070MaRDI QIDQ5902358
Siau-Cheng Khoo, Hugh Anderson
Publication date: 5 January 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94290
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Enhancing dependency pair method using strong computability in simply-typed term rewriting, The size-change principle and dependency pairs for termination of term rewriting