| a |
| AES | Optimizing the AES S-Box using SAT |
| automated theorem proving | Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge |
| c |
| column generation | Implementing an Efficient SAT Solver for a Probabilistic Description Logic |
| complexity analysis | On Implementing Modular Complexity Analysis |
| d |
| Definite Clause Grammar | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |
| derivational complexity | On Implementing Modular Complexity Analysis |
| Description Logic | Implementing an Efficient SAT Solver for a Probabilistic Description Logic |
| discrete mathematics | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |
| Dummett Logic | Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge |
| f |
| finite models | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |
| i |
| implicational intuitionistic-logic | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |
| incidence structures | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |
| l |
| lambda calculus | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |
| o |
| Optimization | Optimizing the AES S-Box using SAT |
| p |
| polyhedra | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |
| probability | Implementing an Efficient SAT Solver for a Probabilistic Description Logic |
| program synthesis | Optimizing the AES S-Box using SAT |
| proof tool | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |
| s |
| SAT | Implementing an Efficient SAT Solver for a Probabilistic Description Logic
Optimizing the AES S-Box using SAT |
| t |
| tableau calculi | Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge |
| term rewriting | On Implementing Modular Complexity Analysis |
| theorem provers | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools |
| type inhabitant search algorithm | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |
| type theory | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic |
