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.

On Verifying Reactive Rules Using Rewriting Logic

Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas. On Verifying Reactive Rules Using Rewriting Logic. In Antonis Bikakis, Paul Fodor, Dumitru Roman, editors, Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings. Volume 8620 of Lecture Notes in Computer Science, pages 67-81, Springer, 2014. [doi]

Authors

Katerina Ksystra

This author has not been identified. Look up 'Katerina Ksystra' in Google

Nikolaos Triantafyllou

This author has not been identified. Look up 'Nikolaos Triantafyllou' in Google

Petros S. Stefaneas

This author has not been identified. Look up 'Petros S. Stefaneas' in Google
runs on