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.

ReverCSP: Time-Travelling in CSP Computations

Carlos Galindo, Naoki Nishida 0001, Josep Silva, Salvador Tamarit. ReverCSP: Time-Travelling in CSP Computations. In Ivan Lanese, Mariusz Rawski, editors, Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. Volume 12227 of Lecture Notes in Computer Science, pages 239-245, Springer, 2020. [doi]

Authors

Carlos Galindo

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

Naoki Nishida 0001

This author has not been identified. Look up 'Naoki Nishida 0001' in Google

Josep Silva

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

Salvador Tamarit

This author has not been identified. Look up 'Salvador Tamarit' in Google
runs on