MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Set Constraints are the Monadic Class" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Negative Set Constraints With Equality  
  • by Witold Charatonik, Leszek Pacholski — 1994 — In Ninth Annual IEEE Symposium on Logic in Computer Science
  • … of systems of positive set constraints from the corresponding finite models of monadic theories…
  • Cited by 31 (10 self) – Add To MetaCart
  • Set Constraints and Set-Based Analysis  
  • by Nevin Heintze, Joxan Jaffar — 1994 — In Proceedings of the Workshop on Principles and Practice of Constraint Programming, LNCS 874
  • … on set constraints based on similar results in the monadic class. The next step was taken by [10], who…
  • Cited by 33 (0 self) – Add To MetaCart
  • VII Seminarium " Warszawsko - Wroclawskie" z Teorii Informatyki  
  • by Stefan Sokolowski, Warszawsko Wroc/lawskie, Z Teorii Informatyki, Marek Bednarczyk (gda'nsk, Niekomutatywna Logika Liniowa, Grzegorz Bancerek (warszawa, Wojciech Buszkowski, Maciej K — 1993
  • … constraints. Our approach is based on a reduction of set constraints to the monadic class given in a recent…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB