A platform for restriction mapping

DOI10.1016/S0743-1066(96)00118-5zbMath0890.68038OpenAlexW2085664293MaRDI QIDQ4371989

C. N. Yee, Trevor I. Dix

Publication date: 21 January 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(96)00118-5

zbMATH Keywords

restriction mapping

Mathematics Subject Classification ID

Searching and sorting (68P10) Computing methodologies and applications (68U99)

This page was built for publication: A platform for restriction mapping