User loginNavigation 
A simple class of Kripkestyle models in which logic and computation have equal standingA simple class of Kripkestyle models in which logic and computation have equal standing, Michael and Murdoch Gabbay, LPAR 2010:
By dpmulligan at 20100713 09:33  LtU Forum  previous forum topic  next forum topic  other blogs  4941 reads

Browse archives
Active forum topics

Recent comments
2 weeks 2 days ago
3 weeks 4 hours ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 6 days ago
4 weeks 2 days ago
4 weeks 2 days ago
4 weeks 2 days ago
5 weeks 4 days ago
5 weeks 6 days ago