Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Lee, Gyesik
24
Ergebnisse:
Personensuche
X
Format
Online (24)
Medientypen
Artikel (Online) (10)
OpenAccess-Volltexte (13)
Dissertation (Online) (1)
Sortierung: Relevanz
Sortierung: Jahr
?
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