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

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

الوصول الحر: http://arxiv.org/abs/2405.05670Test

المؤلفون: Schubert, Aleksy

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

الوصول الحر: http://arxiv.org/abs/2109.02458Test

المؤلفون: Schubert, Aleksy, Chrząszcz, Jacek

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.3.2, D.3.3, D.1.1, D.1.5, F.3.2

الوصول الحر: http://arxiv.org/abs/1808.05342Test

المؤلفون: Schubert, Aleksy

المساهمون: Faculty of Mathematics, Informatics, and Mechanics Warsaw (MIMUW), University of Warsaw (UW), Veena Ravishankar, Christophe Ringeissen

المصدر: UNIF 2023 - Informal Proceedings of the 37th International Workshop on Unification ; 37th International Workshop on Unification (UNIF 2023) ; https://inria.hal.science/hal-04128012Test ; 37th International Workshop on Unification (UNIF 2023), Veena Ravishankar; Christophe Ringeissen, Jul 2023, Rome, Italy

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Rome, Italy

العلاقة: hal-04128012; https://inria.hal.science/hal-04128012Test; https://inria.hal.science/hal-04128012/documentTest; https://inria.hal.science/hal-04128012/file/UNIF_2023_paper_2.pdfTest

الإتاحة: https://inria.hal.science/hal-04128012Test
https://inria.hal.science/hal-04128012/documentTest
https://inria.hal.science/hal-04128012/file/UNIF_2023_paper_2.pdfTest

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

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

الوصول الحر: http://arxiv.org/abs/1804.10004Test

المؤلفون: 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

الوصول الحر: http://arxiv.org/abs/1610.02675Test

المؤلفون: Zielenkiewicz, Maciej, Schubert, Aleksy

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.1.1, F.4.3

الوصول الحر: http://arxiv.org/abs/1608.05698Test

المؤلفون: Benke, Marcin, Bono, Viviana, Schubert, Aleksy

المصدر: EPTCS 177, 2015, pp. 65-78

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, F.3.3, F.4.1

الوصول الحر: http://arxiv.org/abs/1503.04918Test

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

المساهمون: Ministerstwo Edukacji i Nauki, Japan Society for the Promotion of Science

المصدر: Journal of Applied Non-Classical Logics ; volume 34, issue 1, page 55-74 ; ISSN 1166-3081 1958-5780

الإتاحة: https://doi.org/10.1080/11663081.2024.2312774Test

المؤلفون: Zielenkiewicz, Maciej, Schubert, Aleksy, Chrząszcz, Jacek

مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Formal Languages and Automata Theory, F.1.1, F.1.3

الوصول الحر: http://arxiv.org/abs/1407.7592Test