Searching for "A Theory of Modules Based on Second-Order Logic." – 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.

Modularity and Genericity revisited for PROLOG
by Marc Bernard Francois, Marc Bernard, Francois Jacquenet
… Notices, 26(1), January 1991. [6] W. Chen. A theory of modules based on second-order logic. In Proceedings…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB