Generalized partial computation using disunification to solve constraints

DOI10.1007/3-540-56393-8_32OpenAlexW2158780843MaRDI QIDQ5881205

Akihiko Takano

Publication date: 9 March 2023

Published in: Conditional Term Rewriting Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56393-8_32

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Essence of generalized partial computation
• Fast Decision Procedures Based on Congruence Closure
• Projection Factorisations in Partial Evaluation