1
Published 2007
Table of Contents: ... Duplications in O(n 4) Time -- Counting Minimum Weighted Dominating Sets -- Online Interval Scheduling...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Can Help -- And-Or Tableaux for Fix point Logics with Converse: LTL, CTL, PDL and CPDL -- Unified...
View full text
Electronic eBook