User loginNavigation |
A simple class of Kripke-style models in which logic and computation have equal standingA simple class of Kripke-style models in which logic and computation have equal standing, Michael and Murdoch Gabbay, LPAR 2010:
By dpmulligan at 2010-07-13 09:33 | LtU Forum | previous forum topic | next forum topic | other blogs | 5218 reads
|
Browse archives
Active forum topics |
Recent comments
32 weeks 6 days ago
32 weeks 6 days ago
32 weeks 6 days ago
1 year 3 weeks ago
1 year 7 weeks ago
1 year 8 weeks ago
1 year 8 weeks ago
1 year 11 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago