Logic programs as types for logic programs
Thom Frühwirth, Eyal Yardeni(Weizmann Institute of Science), Moshe Y. Vardi(IBM (United States)), Ehud Shapiro(Google (United States))
Cited by 152
Related Papers
Single-cell sequencing-based technologies will revolutionize whole-organism science
|Nature Reviews Genetics|2013|1.2k
The Art of Prolog
|IEEE Expert|1987|1.1k
Algorithmic Program Debugging
|The MIT Press eBooks|1983|1.1k