Computability Logic Homepage
Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
http://www.cis.upenn.edu/~giorgi/cl.html
From: Logic
Hits: 198
Date: Apr 21, 2006
Votes: 0
Rating: 0.00
Comments:
There are currently no comments available.
