Skip to content

Research facility · founded 1999

Laboratory Preuves, Programmes et Systèmes

Paris, France · pps.univ-paris-diderot.fr/en

Part of Centre National de la Recherche Scientifique

Manage this page

Citations, last 5 years: 73
Works, last 5 years: 5
h-index: 54
Scientists listed: 0
Grants since 2016: 1

Strongest research topics

Logic, programming, and type systems560Computer Science
Advanced Algebra and Logic323Computer Science
Computability, Logic, AI Algorithms183Computer Science
Formal Methods in Verification136Computer Science
Logic, Reasoning, and Knowledge108Computer Science
semigroups and automata theory89Computer Science