Computer Science – Logic in Computer Science
Scientific paper
2011-02-05
Computer Science
Logic in Computer Science
Scientific paper
10.1016/j.aml.2011.11.023
This letter introduces a new, substantially simplified version of the
branching recurrence operation of computability logic (see
http://www.cis.upenn.edu/~giorgi/cl.html), and proves its equivalence to the
old, "canonical" version.
No associations
LandOfFree
A new face of the branching recurrence of computability logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A new face of the branching recurrence of computability logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A new face of the branching recurrence of computability logic will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-52596