Strategies for consistency checking based on unification

DOI10.1016/S0167-6423(98)00017-3zbMath0924.68037MaRDI QIDQ1283883

John Derrick, Howard Bowman, M. W. A. Steen, Eerke A. Boiten

Publication date: 30 March 1999

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

multiple viewpoints

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• Unnamed Item

This page was built for publication: Strategies for consistency checking based on unification