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