Celebratio Mathematica

Krystyna Kuperberg

Complete Bibliography

Works connected to Andrzej Trybulec

Filter the Bibliography List

clear

A. Try­bulec, A. Kornilow­icz, A. Naumow­icz, and K. Ku­per­berg: “Form­al math­em­at­ics for math­em­aticians,” pp. 119–​121 in Form­al math­em­at­ics for math­em­aticians (New Or­leans, LA, 6–9 Janu­ary 2011), published as J. Auto­mat. Reas­on. 50 : 2. Issue edi­ted by A. Try­bulec, A. Kornilow­icz, A. Naumow­icz, and K. Ku­per­berg. Spring­er (Ber­lin), 2013. Fore­word to a spe­cial is­sue. MR 3016795 incollection

K. T. Ku­per­berg: “An­drzej Try­bulec–in me­mori­am,” J. Auto­mat. Reas­on. 55 : 3 (2015), pp. 187–​190. MR 3402512 Zbl 1337.​01014 article