Title of article :
A new face of the branching recurrence of computability logic
Author/Authors :
Japaridze، نويسنده , , Giorgi، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2012
Abstract :
This letter introduces a new, substantially simplified version of the branching recurrence operation of computability logic, and proves its equivalence to the old, “canonical” version.
Keywords :
Computability logic , Interactive computation , game semantics , Resource semantics
Journal title :
Applied Mathematics Letters
Journal title :
Applied Mathematics Letters
