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.

Proving Structural Properties of Sequent Systems in Rewriting Logic

Carlos Olarte, Elaine Pimentel, Camilo Rocha. Proving Structural Properties of Sequent Systems in Rewriting Logic. In Vlad Rusu, editor, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Volume 11152 of Lecture Notes in Computer Science, pages 115-135, Springer, 2018. [doi]

Authors

Carlos Olarte

This author has not been identified. Look up 'Carlos Olarte' in Google

Elaine Pimentel

This author has not been identified. Look up 'Elaine Pimentel' in Google

Camilo Rocha

This author has not been identified. Look up 'Camilo Rocha' in Google
runs on