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
114
Citations
399
h-index
10
i10-index
12
Also known as
DEDUCTEAMDEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
Top research topics
Logic, programming, and type systems(56)Logic, Reasoning, and Knowledge(38)Formal Methods in Verification(22)Semantic Web and Ontologies(14)Advanced Algebra and Logic(12)Computability, Logic, AI Algorithms(10)Natural Language Processing Techniques(7)Mathematics, Computing, and Information Processing(7)semigroups and automata theory(6)Philosophy and Theoretical Science(4)Cellular Automata and Applications(4)History and Theory of Mathematics(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.