Sciweavers

2540 search results - page 28 / 508
» Abstract Logics as Dialgebras
Sort
View
DAGSTUHL
2008
13 years 11 months ago
08061 Abstracts Collection -- Types, Logics and Semantics for State
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...