| a |
| Answer Set Programming | Symmetry breaking in a new stable model search method |
| c |
| computational complexity | On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic |
| d |
| Data Mining | Towards Efficient Metaquery Generator |
| DPLL(T) | Extending a Verified Simplex Algorithm |
| f |
| functor | HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography |
| g |
| Groupoid | HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography |
| h |
| Halpern-Shoham logic | On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic |
| Higher Inductive Type | HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography |
| homotopy type theory | HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography |
| i |
| interval logic | On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic |
| Isabelle/HOL | Extending a Verified Simplex Algorithm |
| l |
| Linear Rational Arithmetic | Extending a Verified Simplex Algorithm |
| logic programming | Symmetry breaking in a new stable model search method |
| m |
| metaqueries | Towards Efficient Metaquery Generator |
| r |
| relational database | Towards Efficient Metaquery Generator |
| s |
| stable models | Symmetry breaking in a new stable model search method |
| Sub-propositional Fragments | On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic |
| symmetry breaking | Symmetry breaking in a new stable model search method |
| t |
| theory solver | Extending a Verified Simplex Algorithm |
| u |
| univalence | HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography |
| unsatisfiable core | Extending a Verified Simplex Algorithm |
