Jana Willema Klopa

Jana Willema Klopa
Urodzić się ( 19.12.1945 ) 19 grudnia 1945
Gorinchem
Współmałżonek Marianna Leicher
Dzieci Maartje (1976)
Nagrody University of East Anglia (2002), członek honorowy IFIP WG 1.6 (2011)
Kariera naukowa
Praca dyplomowa   Kombinacyjne systemy redukcji (1980)
Doradca doktorski Dirk van Dalen , Henk Barendregt
Doktoranci Massimo Marchiori

Jan Willem Klop (ur. 1945) jest profesorem logiki stosowanej na Vrije Universiteit w Amsterdamie . Posiada stopień doktora. z logiki matematycznej na Uniwersytecie w Utrechcie . Klop jest znany ze swojej pracy nad algebrą procesów komunikacyjnych , współautorem TeReSe i jego kombinatora punktów stałych

Y k = (LLLLLLLLLLLLLLLLLLLLLLLLLL)

Gdzie

L = λabcdefghijklmnopqstuvwxyzr. (r (jest to grzebień stałopunktowy))

Klop został członkiem Królewskiej Holenderskiej Akademii Sztuki i Nauki w 2003 roku.

Wybrane publikacje

  • Jana Willema Klopa (1980). Kombinacyjne systemy redukcji (PDF) (praca doktorska). Uniwersytet w Utrechcie.
  • JCM Baeten, Jan Bergstra , Jan Willem Klop (1987). „Systemy przepisywania terminów z priorytetami”. W Lescanne, Pierre (red.). Techniki i zastosowania przepisywania , 2. Int. konf., RTA-87 . LNCS . Tom. 256.Springera. s. 83–94. {{ cite book }} : CS1 maint: wiele nazwisk: lista autorów ( link ) — poprzedzający raport techniczny FVI 86-03
  • Y. Toyama, Jan Willem Klop, Henk Barendregt (1989). „Wypowiedzenie dla sumy bezpośredniej systemów przepisywania terminów liniowych z lewej strony - Wstępna wersja robocza-”. W Nachum Dershowitz (red.). Przepisywanie technik i aplikacji, 3rd Int. Konf., RTA-89 . LNCS. Tom. 355.Springera. s. 477–491. {{ cite book }} : CS1 maint: wiele nazwisk: lista autorów ( link ) — poprzedzający raport techniczny IEICE COMP 88-90
  • N. Dershowitz, Jean-Pierre Jouannaud , Jan Willem Klop (1991). „Otwarte problemy z przepisywaniem”. W Ronald V. Book (red.). Przepisywanie technik i aplikacji, 4th Int. Konf., RTA-91 (PDF) . LNCS. Tom. 488.Springera. s. 445–456. {{ cite book }} : CS1 maint: wiele nazwisk: lista autorów ( link )
  • Kennaway, R. i Klop, JW i Sleep, MR i de Vries, F.-J. (1991). „Redukcje pozaskończone w systemach przepisywania terminów ortogonalnych (streszczenie rozszerzone)” . W książce, Ronald V. (red.). Przepisywanie technik i aplikacji, 4th Int. Konf., RTA-91 (PDF) . LNCS. Tom. 488.Springera. s. 1–12. {{ cite book }} : CS1 maint: wiele nazwisk: lista autorów ( link )
  • Dershowitz, N. i Jouannaud, J.-P. i Klop, JW (1993). „Więcej problemów z przepisywaniem”. W Kirchner, Claude (red.). Przepisywanie technik i aplikacji, 5th Int. Konf., RTA-93 (PDF) . LNCS. Tom. 690. Wiśniewski. s. 468–487. {{ cite book }} : CS1 maint: wiele nazwisk: lista autorów ( link )
  • Kennaway, R. i Klop, JW i Sleep, MR i de Vries, F.-J. (1995). „Nieskończone rachunki lambda i modele Böhma”. W Hsiang, Jieh (red.). 6. Int. konf. w sprawie technik i zastosowań przepisywania (RTA) . LNCS. Tom. 914. Wiśniewski. s. 257–270. {{ cite book }} : CS1 maint: wiele nazwisk: lista autorów ( link )
  • Klop, JW (1998). „Śledzenie pochodzenia w przepisywaniu terminów (wykład na zaproszenie)” . W Tobiasz Nipkow (red.). Przepisywanie technik i aplikacji, 9th Int. konf., RTA-98 . LNCS. Tom. 1379.Springera. P. 1.

Linki zewnętrzne


Pobrano z „ https://en.wikipedia.org/w/index.php?title=Jan_Willem_Klop&oldid=1133191081 ”