Qex

swMATH9944MaRDI QIDQ21923FDOQ21923

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-17511-4_24

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