Home » io.github.modelsvgu » SQL2MSFOL » Used By

SQL2MSFOL

SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).

Artifacts using SQL2MSFOL (0)
Sort by:Popular▼

  • Prev
  • 1
  • Next