External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automated Support for the Investigation of Paraconsistent and Other Logics

Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky. Automated Support for the Investigation of Paraconsistent and Other Logics. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Volume 7734 of Lecture Notes in Computer Science, pages 119-133, Springer, 2013. [doi]

Authors

Agata Ciabattoni

This author has not been identified. Look up 'Agata Ciabattoni' in Google

Ori Lahav

This author has not been identified. Look up 'Ori Lahav' in Google

Lara Spendier

This author has not been identified. Look up 'Lara Spendier' in Google

Anna Zamansky

This author has not been identified. Look up 'Anna Zamansky' in Google
runs on