Certainty in Formalising SMT-LIB for Strings in Isabelle.
Saved in:
| Title: | Certainty in Formalising SMT-LIB for Strings in Isabelle. |
|---|---|
| Authors: | Lotz, Kevin1, kel@informatik.uni-kiel.de, Kulczynski, Mitja1, mku@informatik.uni-kiel.de, Nowotka, Dirk1, dn@informatik.uni-kiel.de, Poulsen, Danny Bøgsted2, dannybpoulsen@cs.aau.dk, Schlichtkrull, Anders2, andsch@cs.aau.dk |
| Source: | International Journal of Foundations of Computer Science; Jan2026, Vol. 37 Issue 1, p47-71, 25p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01290541 |
|---|---|
| DOI: | 10.1142/S0129054125410035 |
