-
1تقرير
-
2تقرير
المؤلفون: Japaridze, Giorgi
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B47, 03B70, 03F03, 03F20, 68T15, F.1.1, F.1.2, F.1.3
URL الوصول: http://arxiv.org/abs/1902.07123
-
3تقرير
المؤلفون: Japaridze, Giorgi
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B47, 03B70, 03F03, 03F20, 68T15, F.1.1, F.1.2, F.1.3
URL الوصول: http://arxiv.org/abs/1902.05172
-
4تقرير
-
5
المؤلفون: Giorgi Japaridze
المصدر: Logic Journal of the IGPL. 29:769-782
مصطلحات موضوعية: FOS: Computer and information sciences, Soundness, Computer Science - Logic in Computer Science, Logic, Computer science, 010102 general mathematics, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Decidability, First-order logic, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Fragment (logic), Negation, 010201 computation theory & mathematics, Proof theory, Completeness (logic), Computability logic, Calculus, F.1.2, F.1.3, F.1.1, 0101 mathematics, 03B47, 03B70, 03F03, 03F20, 68T15
-
6
المؤلفون: Giorgi Japaridze
المصدر: Logical Investigations. 25:100-119
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, Game semantics, Computer science, Computability, 010102 general mathematics, Classical logic, 0102 computer and information sciences, Intuitionistic logic, 01 natural sciences, Linear logic, Logic in Computer Science (cs.LO), First-order logic, Philosophy, 010201 computation theory & mathematics, Conservative extension, Computability logic, Calculus, F.1.2, F.1.1, F.1.3, 0101 mathematics, 03B47, 03B70, 03F03, 03F20, 68T15
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1c07e891a4855c217adb8591fcbec32
https://doi.org/10.21146/2074-1472-2019-25-1-100-119 -
7مورد إلكتروني
-
8مورد إلكتروني
-
9