-
1دورية أكاديمية
المؤلفون: KRAJÍČEK, JAN
المصدر: The Bulletin of Symbolic Logic, 2024 Mar 01. 30(1), 20-40.
URL الوصول: https://www.jstor.org/stable/27294833
-
2تقرير
المؤلفون: Krajicek, Jan
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03F20, 03F40, 68Q15, F.1.3, F.4.1
URL الوصول: http://arxiv.org/abs/2303.10637
-
3تقرير
المؤلفون: Krajicek, Jan
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Computational Complexity, 03F20, 68Q15, F.1.1, F.4.1
URL الوصول: http://arxiv.org/abs/2301.10617
-
4تقرير
المؤلفون: Krajicek, Jan
المصدر: Bulletin of Symbolic Logic , Volume 30 , Issue 1 , March 2024 , pp. 20 - 40
مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, Mathematics - Logic, 03F20, 68Q11, F.1.1, F.4.1
URL الوصول: http://arxiv.org/abs/2208.11642
-
5تقرير
المؤلفون: Krajicek, Jan
المصدر: J. of Symbolic Logic, vol.87, nb.2, (June 2022), pp.852-869
مصطلحات موضوعية: Computer Science - Computational Complexity, Mathematics - Logic, 03F20, 68Q11
URL الوصول: http://arxiv.org/abs/2104.04711
-
6تقرير
المؤلفون: Krajicek, Jan
المصدر: ACM Transactions on Computational Logic, 22, 2, Article 11 (May 2021)
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Computational Complexity, 03F30, 68Q15, F.4.1
URL الوصول: http://arxiv.org/abs/2004.11582
-
7تقرير
المؤلفون: Krajíček, Jan
المصدر: Logical Methods in Computer Science, Volume 16, Issue 3 (August 12, 2020) lmcs:6267
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Computational Complexity, 03F20, 68Q15, F.4.1
URL الوصول: http://arxiv.org/abs/2004.02448
-
8تقرير
المؤلفون: Krajicek, Jan
المصدر: in: "Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook", ed.Bruce M.Kapron, Association for Computing Machinery Books, New York, NY, USA, 43, pp.83-94, May 2023
مصطلحات موضوعية: Computer Science - Computational Complexity, Mathematics - Logic
URL الوصول: http://arxiv.org/abs/1909.03691
-
9تقرير
المؤلفون: Bydzovsky, Jan, Krajicek, Jan, Oliveira, Igor C.
المصدر: Logical Methods in Computer Science, Volume 16, Issue 2 (June 18, 2020) lmcs:5578
مصطلحات موضوعية: Computer Science - Computational Complexity, Mathematics - Logic
URL الوصول: http://arxiv.org/abs/1905.12935
-
10تقرير
المؤلفون: Krajicek, Jan, Oliveira, Igor C.
المصدر: Chicago Journal of Theoretical Computer Science, vol.2018, nb.1, (March 2018), pp.1-18
مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Discrete Mathematics, Mathematics - Combinatorics, F.1.1, F.2.2, F.1.1, F.2.2
URL الوصول: http://arxiv.org/abs/1704.06241