DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
facilitySaclay, Île-de-France, France
Research output, citation impact, and the most-cited recent papers from DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
116
Citations
405
h-index
10
i10-index
11
Also known as
DEDUCTEAMDEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
Top research topics
Logic, programming, and type systems(57)Logic, Reasoning, and Knowledge(38)Formal Methods in Verification(23)Semantic Web and Ontologies(15)Advanced Algebra and Logic(12)Computability, Logic, AI Algorithms(11)Mathematics, Computing, and Information Processing(8)Natural Language Processing Techniques(7)semigroups and automata theory(6)History and Theory of Mathematics(5)Philosophy and Theoretical Science(4)Cellular Automata and Applications(4)Quantum Computing Algorithms and Architecture(3)Business Process Modeling and Analysis(3)Model-Driven Software Engineering Techniques(3)
Top-cited papers from DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
No indexed publications for this institution yet.