Why Us? >>

  • - Open Access
  • - Peer-reviewed
  • - Rapid publication
  • - Lifetime hosting
  • - Free indexing service
  • - Free promotion service
  • - More citations
  • - Search engine friendly

Free SCIRP Newsletters>>

Add your e-mail address to receive free newsletters from SCIRP.


Contact Us >>

WhatsApp  +86 18163351462(WhatsApp)
Paper Publishing WeChat
Book Publishing WeChat
(or Email:book@scirp.org)

Article citations


H. S?ndergaard, “An application of abstract interpretation of logic programs: Occur check problem,” In: B. Robinet and R. Wilhelm, Ed., European Symposium on Progr- amming, Lecture Notes in Computer Science, Springer, Vol. 213, pp. 324–338, 1986.

has been cited by the following article: