Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Giorgi Japaridze" ( http://dblp.L3S.de/Authors/Giorgi_Japaridze )

  Author page on DBLP  Author page in RDF  Community of Giorgi Japaridze in ASPL-2

Publication years (Num. hits)
1994-2006 (18) 2007-2010 (19) 2011-2012 (8)
Publication types (Num. hits)
article(45)
Venues (Conferences, Journals, ...)
CoRR(24) Ann. Pure Appl. Logic(5) Theor. Comput. Sci.(3) ACM Trans. Comput. Log.(2) Inf. Comput.(2) J. Log. Comput.(2) J. Symb. Log.(2) Notre Dame Journal of Formal L...(2) Acta Cybern.(1) Logical Methods in Computer Sc...(1) Studia Logica(1)
Authors
Giorgi Japaridze(45)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 5 keywords
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Giorgi Japaridze Separating the basic logics of the basic recurrences. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze On the system CL12 of computability logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Giorgi Japaridze Toggling operators in computability logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze Introduction to clarithmetic I. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze The taming of recurrences in computability logic through cirquent calculus, Part II Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Giorgi Japaridze From formulas to cirquents in computability logic Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze A new face of the branching recurrence of computability logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Giorgi Japaridze The taming of recurrences in computability logic through cirquent calculus Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Giorgi Japaridze Towards applied theories based on computability logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 2010 DBLP  BibTeX  RDF
1Giorgi Japaridze Introduction to clarithmetic III Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Giorgi Japaridze Introduction to clarithmetic II Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Giorgi Japaridze Introduction to clarithmetic I Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Giorgi Japaridze Separating the basic logics of the basic recurrences Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Giorgi Japaridze A logical basis for constructive systems Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Giorgi Japaridze Many Concepts and Two Logics of Algorithmic Reduction. Search on Bibsonomy Studia Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Affine logic, Interactivecomputation, Linear logic, Game semantics, Intuitionistic logic, Computability logic
1Giorgi Japaridze Toggling operators in computability logic Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Giorgi Japaridze Ptarithmetic Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Giorgi Japaridze Sequential operators in computability logic. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze Cirquent Calculus Deepened. Search on Bibsonomy J. Log. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze Towards applied theories based on computability logic Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Giorgi Japaridze Intuitionistic computability logic. Search on Bibsonomy Acta Cybern. The full citation details ... 2007 DBLP  BibTeX  RDF
1Giorgi Japaridze From truth to computability II. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze The logic of interactive Turing reduction. Search on Bibsonomy J. Symb. Log. The full citation details ... 2007 DBLP  BibTeX  RDF
1Giorgi Japaridze The intuitionistic fragment of computability logic at the propositional level. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze Four concepts and two logics of algorithmic reduction Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Giorgi Japaridze Cirquent calculus deepened Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Giorgi Japaridze Sequential operators in computability logic Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Giorgi Japaridze From truth to computability I. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze Introduction to Cirquent Calculus and Abstract Resource Semantics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze The intuitionistic fragment of computability logic at the propositional level Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Giorgi Japaridze Propositional computability logic II. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interactive algorithms, linear logic, game semantics, Computability logic, computational resources
1Giorgi Japaridze Propositional computability logic I. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interactive algorithms, linear logic, game semantics, Computability logic, computational resources
1Giorgi Japaridze From truth to computability II Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Giorgi Japaridze The logic of interactive Turing reduction Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Giorgi Japaridze In the beginning was game semantics Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Giorgi Japaridze Computability Logic: a formal theory of interaction Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Giorgi Japaridze From truth to computability I Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Giorgi Japaridze Intuitionistic computability logic I Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Giorgi Japaridze Propositional Computability Logic II Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Giorgi Japaridze Propositional computability logic I Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Giorgi Japaridze Introduction to computability logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze The logic of tasks. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze The Propositional Logic of Elementary Tasks. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2000 DBLP  BibTeX  RDF
1Giorgi Japaridze A Constructive Game Semantics for the Language of Linear Logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Giorgi Japaridze A Simple Proof of Arithmetical Completeness for Pi1-conservativity Logic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #45 of 45 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.