المؤلفون: Schubert, Aleksy, Urzyczyn, Paweł, Zdanowski, Konrad

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2405.05670

المؤلفون: Carlucci, Lorenzo, Mainardi, Leonardo, Zdanowski, Konrad

مصطلحات موضوعية: Mathematics - Logic, Mathematics - Combinatorics

URL الوصول: http://arxiv.org/abs/2401.04451

المؤلفون: Carlucci, Lorenzo, Kołodziejczyk, Leszek Aleksander, Lepore, Francesco, Zdanowski, Konrad

مصطلحات موضوعية: Mathematics - Logic, Mathematics - Combinatorics

URL الوصول: http://arxiv.org/abs/1701.06095

المؤلفون: Zdanowski, Konrad

مصطلحات موضوعية: Mathematics - Logic, 03B20

URL الوصول: http://arxiv.org/abs/1612.07167

المؤلفون: Zdanowski, Konrad

مصطلحات موضوعية: Mathematics - Logic, 03B25

URL الوصول: http://arxiv.org/abs/1612.07154

المؤلفون: Schubert, Aleksy, Urzyczyn, Paweł, Zdanowski, Konrad

المصدر: Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2623

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1610.02675

المؤلفون: Fujita, Ken-etsu, Schubert, Aleksy, Urzyczyn, Paweł, Zdanowski, Konrad

المصدر: Journal of Applied Non-Classical Logics; Mar2024, Vol. 34 Issue 1, p55-74, 20p

مصطلحات موضوعية: PROPOSITION (Logic), LAMBDA calculus, FIRST-order logic

المؤلفون: Carlucci, Lorenzo, Zdanowski, Konrad

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, Mathematics - Combinatorics, 03D25, 05D10

URL الوصول: http://arxiv.org/abs/1204.1134

المؤلفون: Jozwiak, Adam, Lipko, Agata, Kania, Magdalena, Danikiewicz, Witold, Surmacz, Liliana, Witek, Agnieszka, Wojcik, Jacek, Zdanowski, Konrad, Pączkowski, Cezary, Chojnacki, Tadeusz, Poznanski, Jaroslaw, Swiezewska, Ewa

المصدر: Plant Physiology, 2017 Jun 01. 174(2), 857-874.

URL الوصول: https://www.jstor.org/stable/26373540

المؤلفون: Schubert, Aleksy^Aff14, Urzyczyn, Paweł^Aff14, Zdanowski, Konrad^Aff15

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Pitts, Andrew, editor^Aff13

المصدر: Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 9034:451-465