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:8 - 6 self