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  3698 reads

Browse archivesActive forum topics 
Recent comments
1 hour 23 min ago
3 hours 2 min ago
3 hours 49 min ago
5 hours 17 min ago
6 hours 34 min ago
6 hours 42 min ago
7 hours 23 min ago
8 hours 54 min ago
9 hours 33 min ago
9 hours 42 min ago