A new face of the branching recurrence of computability logic

作者：Japaridze Giorgi^*

来源：Applied Mathematics Letters, 2012, 25(11): 1585-1589.

DOI：10.1016/j.aml.2011.11.023

• Computability logic
• Interactive computation
• Game semantics
• Resource semantics

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.

• 出版日期2012-11
• 单位山东大学