An algebra for Kripke polynomial coalgebras (2009)

by Marcello Bonsangue , Jan Rutten , Alexandra Silva
Venue:24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Citations:7 - 7 self