Sciweavers

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