Synthesizing Monadic Predicates

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:03
TitleSynthesizing Monadic Predicates
Publication TypeJournal Article
Year of Publication2008
AuthorsMeghini, C, Spyratos, N
JournalJournal of Logic and Computation
Volume18
Pagination831-847