Claret, Jakob
10  Ergebnisse:
Personensuche X
?
2

Accelerating the Crystallization of Zeolite SSZ‐13 with Pol..:

Dai, Heng ; Claret, Jakob ; Kunkes, Eduard L...
Angewandte Chemie International Edition.  61 (2022)  16 - p. , 2022
 
?
3

Enhanced Selectivity and Stability of Finned Ferrierite Cat..:

Dai, Heng ; Lee, Choongsze ; Liu, Wen...
Angewandte Chemie International Edition.  61 (2021)  8 - p. , 2021
 
?
7

MetaCoq/metacoq: MetaCoq 1.0-beta2 for Coq 8.13:

Matthieu Sozeau ; Théo Winterhalter ; SimonBoulier...
https://github.com/MetaCoq/metacoq/tree/v1.0-beta2-8.13.  , 2021
 
?
8

MetaCoq/metacoq: MetaCoq 1.0-beta2 for Coq 8.11:

Matthieu Sozeau ; Théo Winterhalter ; SimonBoulier...
https://github.com/MetaCoq/metacoq/tree/v1.0-beta2-8.11.  , 2021
 
?
9

MetaCoq/metacoq: MetaCoq 1.0-beta2 for Coq 8.12:

Matthieu Sozeau ; Théo Winterhalter ; SimonBoulier...
https://github.com/MetaCoq/metacoq/tree/v1.0-beta2-8.12.  , 2021
 
?
10

MetaCoq/metacoq: MetaCoq 1.0-beta1 for Coq 8.12:

Théo Winterhalter ; Matthieu Sozeau ; SimonBoulier...
https://github.com/MetaCoq/metacoq/tree/v1.0-beta1-8.12.  , 2020
 
1-10