Jan Uillem Klop - Jan Willem Klop

Jan Uillem Klop
Tug'ilgan(1945-12-19)1945 yil 19-dekabr
Gorinchem
Turmush o'rtoqlarMarianne Leicher
BolalarMaartje (1976)[1]
MukofotlarSharqiy Angliya universiteti faxriy doktorlik (2002), IFIP WG 1.6 faxriy a'zosi (2011)
Ilmiy martaba
TezisKombinatsion kamaytirish tizimlari  (1980)
Doktor doktoriDirk van Dalen, Xenk Barendregt
DoktorantlarMassimo Marchiori

Jan Uillem Klop (1945 yilda tug'ilgan) - amaliy professor mantiq da Vrije Universiteit yilda Amsterdam. U ushlaydi Ph.D. yilda matematik mantiq dan Utrext universiteti. Klop o'zining ishi bilan tanilgan Aloqa jarayonlari algebrasi, hammuallifi TeReSe[2] va uning sobit nuqta kombinatori[3]

Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L)

qayerda

L = cabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))

Klop a'zosi bo'ldi Niderlandiya Qirollik san'at va fan akademiyasi 2003 yilda.[4]

Tanlangan nashrlar

  • Jan Uillem Klop (1980). Kombinatsion kamaytirish tizimlari (PDF) (Doktorlik dissertatsiyasi). Utrext universiteti.
  • J.C.M. Baeten, Yan Bergstra, Jan Villem Klop (1987). "Prioritetli muddatli qayta yozish tizimlari". Leskannada, Pyer (tahrir). Qayta yozish usullari va ilovalari, 2-chi int. Konf., RTA-87. LNCS. 256. Springer. 83-94 betlar.CS1 maint: bir nechta ism: mualliflar ro'yxati (havola) - oldingi texnik hisobot FVI 86-03
  • Y. Toyama, Jan Uillem Klop, Xenk Barendregt (1989). "Chiziqli muddatli qayta yozish tizimlarining to'g'ridan-to'g'ri yig'indisining bekor qilinishi - dastlabki loyiha -". Yilda Nachum Dershovits (tahrir). Qayta yozish usullari va ilovalari, 3-chi int. Konf., RTA-89. LNCS. 355. Springer. 477-49 betlar.CS1 maint: bir nechta ism: mualliflar ro'yxati (havola) - oldingi texnik hisobot IEICE COMP 88-90
  • N. Dershovits, Jan-Per Jouanna, Jan Uillem Klop (1991). "Qayta yozishda ochiq muammolar". Yilda Ronald V. Kitob (tahrir). Qayta yozish usullari va ilovalari, 4-chi int. Konf., RTA-91 (PDF). LNCS. 488. Springer. 445–456 betlar.CS1 maint: bir nechta ism: mualliflar ro'yxati (havola)
  • Kennaway, R. va Klop, JW. va Sleep, M.R. va de Vries, F.-J. (1991). "Ortogonal muddatli qayta yozish tizimlaridagi transfinite qisqartirish (kengaytirilgan referat)". Kitobda Ronald V. (tahr.) Qayta yozish usullari va ilovalari, 4-chi int. Konf., RTA-91 (PDF). LNCS. 488. Springer. 1-12 betlar.CS1 maint: bir nechta ism: mualliflar ro'yxati (havola)
  • Dershovits, N. va Jouanna, J.-P. va Klop, J.W. (1993). "Qayta yozishda ko'proq muammolar". Kirchnerda Klod (tahrir). Qayta yozish usullari va ilovalari, 5-chi int. Konf., RTA-93 (PDF). LNCS. 690. Springer. 468-487 betlar.CS1 maint: bir nechta ism: mualliflar ro'yxati (havola)
  • Kennaway, R. va Klop, JW. va Sleep, M.R. va de Vries, F.-J. (1995). "Infinitar Lambda kaltsuli va Böhm modellari". Ssiang shahrida Jie (tahrir). 6-chi Int. Konf. Qayta yozish usullari va ilovalari to'g'risida (RTA). LNCS. 914. Springer. 257-270 betlar.CS1 maint: bir nechta ism: mualliflar ro'yxati (havola)
  • Klop, JW (1998). "Muddatni qayta yozishda kelib chiqishni kuzatish (taklif qilingan ma'ruza)". Yilda Tobias Nipkov (tahrir). Qayta yozish usullari va ilovalari, 9-chi int. Konf., RTA-98. LNCS. 1379. Springer. p. 1.

Adabiyotlar

  1. ^ Tarjimai hol
  2. ^ Mark Bezem; Jan Uillem Klop; Roel de Vrijer, nashrlar. (2003). Terese - muddatli qayta yozish tizimlari. Nazariy kompyuter fanida Kembrij traktlari. 55. Kembrij: Kembrij universiteti matbuoti.
  3. ^ Jan Uillem Klop (2007). "Eskirgan yangi sobit nuqtali kombinatorlar" (PDF). Erik Barendsenda; Herman Geuvers; Venanzio Kapretta; Milad Nikui (tahrir). Tur nazariyasi, Lambda hisobi va ongi haqidagi mulohazalar - Xenk Barendregtning 60 yoshi munosabati bilan unga bag'ishlangan insholar]. Nijmegen universiteti. 197-210 betlar. ISBN  978-90-9022446-6. Bu erda: nr.1.3, s.198
  4. ^ "Jan Uillem Klop". Niderlandiya Qirollik san'at va fan akademiyasi. Arxivlandi asl nusxasi 2016 yil 8 fevralda. Olingan 8 fevral 2016.

Tashqi havolalar