Concepedia

Giorgi Japaridze

GJ

Statistics

Publications

25

Citations

688

H-Index

16

Active since

1994

Affiliations

Villanova University(Current)

Shandong University

Shandong University of Science and Technology

Xiamen University

Giorgi Japaridze is an author at Villanova University specializing in logic, computer science, and theory of computation.

Publications per year

1994–2016

25

Publications

25

Introduction to computability logic

Giorgi Japaridze · Annals of Pure and Applied Logic · 2003 · 130 citations

Computing, Computer Science, Mathematics +11

Sequential operators in computability logic

Giorgi Japaridze · Information and Computation · 2008 · 58 citations · Full text

Computing, Computer Science, Formal Methods +9

Introduction to Cirquent Calculus and Abstract Resource Semantics

Giorgi Japaridze · Journal of Logic and Computation · 2006 · 50 citations · Full text

Computing, Computer Science, Logic +16

Propositional computability logic I

Giorgi Japaridze · ACM Transactions on Computational Logic · 2006 · 43 citations · Full text

Computing, Computer Science, Formal Methods +11

Cirquent Calculus Deepened

Giorgi Japaridze · Journal of Logic and Computation · 2008 · 40 citations · Full text

Computing, Computer Science, Artificial Intelligence +6

1–5 of 25