Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lee, Gyesik
24  Ergebnisse:
Personensuche X
?
1

Comparison of ammonia volatilization in paddy and field soi..:

Lee, Yeon-Jin ; Im, Eun-Chae ; Lee, Gyesik...
Atmospheric Pollution Research.  15 (2024)  4 - p. 102049 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Algae development in rivers with artificially constructed w..:

Kim, Hyunju ; Lee, Gyesik ; Lee, Chang-Gu.
Journal of Environmental Management.  355 (2024)  - p. 120551 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Mechanizing Metatheory Without Typing Contexts:

Park, Jonghyun ; Seo, Jeongbong ; Park, Sungwoo.
Journal of Automated Reasoning.  52 (2013)  2 - p. 215-239 , 2013
Link: https://doi.org/10.1007/..
 
?
4

Sharp thresholds for hypergraph regressive Ramsey numbers:

Carlucci, Lorenzo ; Lee, Gyesik ; Weiermann, Andreas
Journal of Combinatorial Theory, Series A.  118 (2011)  2 - p. 558-585 , 2011
Link: https://doi.org/10.1016/..
 
?
5

Kripke models for classical logic:

Ilik, Danko ; Lee, Gyesik ; Herbelin, Hugo
Annals of Pure and Applied Logic.  161 (2010)  11 - p. 1367-1378 , 2010
Link: https://doi.org/10.1016/..
 
?
6

Sharp thresholds for the phase transition between primitive..:

Kojman, Menachem ; Lee, Gyesik ; Omri, Eran.
Journal of Combinatorial Theory, Series A.  115 (2008)  6 - p. 1036-1055 , 2008
Link: https://doi.org/10.1016/..
 
?
7

A comparison of well-known ordinal notation systems for ε0:

Lee, Gyesik
Annals of Pure and Applied Logic.  147 (2007)  1-2 - p. 48-70 , 2007
Link: https://doi.org/10.1016/..
 
?
8

Semantics, Specification Logic, and Hoare Logic of Exact Re..:

Park, Sewon ; Brauße, Franz ; Collins, Pieter...
http://arxiv.org/abs/1608.05787.  , 2016
Link: http://arxiv.org/abs/160..
 
?
9

Proof-irrelevant model of CC with predicative induction and..:

Lee, Gyesik ; Werner, Benjamin
http://arxiv.org/abs/1111.0123.  , 2011
Link: http://arxiv.org/abs/111..
 
?
10

Kripke Models for Classical Logic:

Ilik, Danko ; Lee, Gyesik ; Herbelin, Hugo
info:eu-repo/semantics/altIdentifier/arxiv/0904.0071.  , 2010
Link: https://inria.hal.scienc..
 
?
11

Kripke Models for Classical Logic:

Ilik, Danko ; Lee, Gyesik ; Herbelin, Hugo
info:eu-repo/semantics/altIdentifier/arxiv/0904.0071.  , 2010
Link: https://hal.inria.fr/inr..
 
?
12

Kripke Models for Classical Logic:

Ilik, Danko ; Lee, Gyesik ; Herbelin, Hugo
info:eu-repo/semantics/altIdentifier/arxiv/0904.0071.  , 2010
Link: https://inria.hal.scienc..
 
?
13

Forcing-based cut-elimination for Gentzen-style intuitionis..:

Herbelin, Hugo ; Lee, Gyesik
inria-00381554.  , 2009
Link: https://inria.hal.scienc..
 
?
14

Kripke Models for Classical Logic:

Ilik, Danko ; Lee, Gyesik ; Herbelin, Hugo
http://arxiv.org/abs/0904.0071.  , 2009
Link: http://arxiv.org/abs/090..
 
?
15

Forcing-based cut-elimination for Gentzen-style intuitionis..:

Herbelin, Hugo ; Lee, Gyesik
inria-00381554.  , 2009
Link: https://hal.inria.fr/inr..
 
1-15