anti-unification 1completeness 1formal verification 1prototype verification system 1term rewriting 1theorem proving 1
From the 1 of 25 papers with an AI index.
12 citations
- Universidade Federal de Campina GrandeBR4 papers
- Peking UniversityCN3 papers
- Pontifícia Universidade Católica do Rio de JaneiroBR3 papers
- Universidade Estadual de Campinas (UNICAMP)BR3 papers
- Universidade Federal do TocantinsBR3 papers
- Universidade Federal FluminenseBR3 papers
- AGH University of KrakowPL2 papers
- Aix-Marseille UniversitéFR2 papers
- Canadian Quantum Research CenterCA2 papers
- Central China Normal UniversityCN2 papers
- Centre de physique des particules de MarseilleFR2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
Showing cs.LOShow all
1 paper · 1 filter