Guest editors' introduction Special Issue: synthesis, transformation and analysis of logic programs 2

DOI10.1016/S0743-1066(99)00027-8zbMath0937.00020OpenAlexW1998554382MaRDI QIDQ4939534

No author found.

Publication date: 18 May 2000

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

Full work available at URL: https://doi.org/10.1016/s0743-1066(99)00027-8

zbMATH Keywords

Special issueAnalysisTransformationSynthesisLogic programs

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)

This page was built for publication: Guest editors' introduction Special Issue: synthesis, transformation and analysis of logic programs 2