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.

Probabilistic Justification Logic

Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer. Probabilistic Justification Logic. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Volume 9537 of Lecture Notes in Computer Science, pages 174-186, Springer, 2016. [doi]

Authors

Ioannis Kokkinis

This author has not been identified. Look up 'Ioannis Kokkinis' in Google

Zoran Ognjanovic

This author has not been identified. Look up 'Zoran Ognjanovic' in Google

Thomas Studer

This author has not been identified. Look up 'Thomas Studer' in Google
runs on