Concepedia

Author

Jean-Louis Krivine

Université Paris Cité

Also Known As

J. Krivine, J. L. Krivine, J.-L. Krivine, JEAN-LOUIS KRIVINE, Jean-Louis Krivine, Jean-louis Krivine, Krivine, Jean-Louis

72

Publications

3.1K

Citations

21

H-Index

18

Concepts

All Affiliations

Université Paris CitéCentre National de la Recherche ScientifiqueLaboratory Preuves, Programmes et Systèmes
JK

About

Jean-Louis Krivine is an author at Université Paris Cité specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

359

2

Computer Science

2

2

232

3

Natural Sciences

1

1

11

4

Physics

1

1

11

5

Programming Languages

1

1

63

Jean-Louis Krivine

×

11

Publications

678

Citations

10

H-Index

YearCitations

Page 1