Qex

swMATH9944MaRDI QIDQ21923FDOQ21923

Author name not available (Why is that?)

Cited In (4)

• 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
• Title not available (Why is that?)

This page was built for software: Qex