A CHARACTERISATION OF OPEN BISIMILARITY USING AN INTUITIONISTIC MODAL LOGIC von Ahn, Ki Yung, Horne, Ross, Tiu, Alwen

Volltext

Musical Exchange and Interaction between Eisler and Schoenberg, Evidenced by their Serial Music von Ahn, So-Yung

Volltext

Scoping Study on In-Vessel LOCA of a Korean TBS in ITER von Jin, Hyung Gon, Lee, Dong Won, Lee, Eo Hwak, Kim, Suk Kwon, Yoon, Jae Sung, Ahn, Moo Yung, Cho, Seung Yon

Volltext

Pharmacokinetic and Pharmacodynamic Interaction Between Gemigliptin and Metformin in Healthy Subjects von Shin, Dongseong, Cho, Young Min, Lee, SeungHwan, Lim, Kyoung Soo, Kim, Jeong-Ae, Ahn, Ji-Yung, Cho, Joo-Youn, Lee, Howard, Jang, In-Jin, Yu, Kyung-Sang

Volltext

Ferroelectric and piezoelectric properties of lead-free Bi0.5Na0.5 TiO3-Bi0.5K0.5TiO3-BaTiO3-thin films near the morphotropic phase boundary von SUSANT KUMAR ACHARYA, KIM, Tae-Min, HYUNG, Jung-Hwan, AHN, Yung-Guk, LEE, Sang-Kwon

Volltext

Development of species-specific primers for rapid diagnosis of Tetranychus urticae, T.kanzawai, T.phaselus and T.truncatus (Acari: Tetranychidae) von Shim, Jae-Kyoung, Khaing, Tin Moe, Seo, Han-Eul, Ahn, Jun-Yung, Jung, Duck-Oung, Lee, Jong-Ho, Lee, Kyeong-Yeoll

Volltext

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems von Sjöberg, Vilhelm, Casinghino, Chris, Ahn, Ki Yung, Collins, Nathan, Eades III, Harley D., Fu, Peng, Kimmell, Garrin, Sheard, Tim, Stump, Aaron, Weirich, Stephanie

Volltext

Equational reasoning about programs with general recursion and call-by-value semantics von KIMMELL, Garrin, STUMP, Aaron, D. EADES, Harley, FU, Peng, SHEARD, Tim, WEIRICH, Stephanie, CASINGHINO, Chris, SJOBERG, Vilhelm, COLLINS, Nathan, YUNG AHN, Ki

Volltext

Development of species‐specific primers for rapid diagnosis of Tetranychus urticae, T. kanzawai, T. phaselus and T. truncatus (Acari: Tetranychidae) von Shim, Jae-Kyoung, Khaing, Tin Moe, Seo, Han-Eul, Ahn, Jun-Yung, Jung, Duck-Oung, Lee, Jong-Ho, Lee, Kyeong-Yeoll

Volltext

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types: An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphis... von Ahn, Ki Yung

Volltext

A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences von Ahn, Ki Yung, Sheard, Tim

Volltext

A framework for testing first-order logic axioms in program verification von Ahn, Ki Yung, Denney, Ewen

Volltext

Executable Relational Specifications of Polymorphic Type Systems Using Prolog von Ahn, Ki Yung, Vezzosi, Andrea

Volltext

Testing First-Order Logic Axioms in Program Verification von Ahn, Ki Yung, Denney, Ewen

Volltext

Development of species‐specific primers for rapid diagnosis of T etranychus urticae , T.   kanzawai , T.   phaselus and T.   truncatus ( A cari: T etranychidae) von Shim, Jae‐Kyoung, Khaing, Tin Moe, Seo, Han‐Eul, Ahn, Jun‐Yung, Jung, Duck‐Oung, Lee, Jong‐Ho, Lee, Kyeong‐Yeoll

Volltext

Lysis of Bacillus subtilis cells by glycerol and sucrose esters of fatty acids von Tsuchido, T, Ahn, Y.H, Takano, M

Volltext

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic von Ahn, Ki Yung, Horne, Ross, Tiu, Alwen

Volltext

An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism von Ahn, Ki Yung

Volltext bestellen

Functional cereal manufacturing method using surplus domestic grains von AHN JAE YUNG

Volltext bestellen

System Fi: A Higher-Order Polymorphic λ-Calculus with Erasable Term-Indices von Ahn, Ki Yung, Sheard, Tim, Fiore, Marcelo, Pitts, Andrew M.

Volltext