Cited in
(4)- scientific article; zbMATH DE number 6131600 (Why is no real title available?)
- Qex: symbolic SQL query explorer
- Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers
- A decision procedure for string to code point conversion
This page was built for software: Qex