GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve
facilityRennes, Brittany, France
Research output, citation impact, and the most-cited recent papers from GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
118
Citations
662
h-index
15
i10-index
17
Also known as
GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuveGALLINETTE: Gallinette: developing a new generation of proof assistants
Top research topics
Logic, programming, and type systems(63)Formal Methods in Verification(30)Logic, Reasoning, and Knowledge(24)Homotopy and Cohomology in Algebraic Topology(11)Semantic Web and Ontologies(10)Security and Verification in Computing(8)Model-Driven Software Engineering Techniques(8)Mathematics, Computing, and Information Processing(8)Parallel Computing and Optimization Techniques(5)Natural Language Processing Techniques(5)Polynomial and algebraic computation(5)Advanced Algebra and Logic(5)Advanced Database Systems and Queries(4)Distributed and Parallel Computing Systems(4)Multi-Agent Systems and Negotiation(3)
Top-cited papers from GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve
No indexed publications for this institution yet.