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.

A Strict Constrained Superposition Calculus for Graphs

Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier. A Strict Constrained Superposition Calculus for Graphs. In Orna Kupferman, Pawel Sobocinski 0001, editors, Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Volume 13992 of Lecture Notes in Computer Science, pages 135-155, Springer, 2023. [doi]

Authors

Rachid Echahed

This author has not been identified. It may be one of the following persons: Look up 'Rachid Echahed' in Google

Mnacho Echenim

This author has not been identified. Look up 'Mnacho Echenim' in Google

Mehdi Mhalla

This author has not been identified. Look up 'Mehdi Mhalla' in Google

Nicolas Peltier

This author has not been identified. Look up 'Nicolas Peltier' in Google
runs on