Searching for "Why Horn Formulas Matter in Computer Science Initial Structures and Generic Examples." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

The Impact of Model Theory on Theoretical Computer Science
by J.A. Makowsky, In D. Gabbay, Chapter Morgan Kaufmann Publishers, Ssh J. T. Schwartz, M. Sharir, J. Hopcroft — 1995
… formulas matter for computer science: Initial structures and generic examples. Journal of Computer…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB