Analysing Parallel Complexity of Term Rewriting

Authors :: Thaïs Baudon
Carsten Fuhs
Laure Gonnord
Source :: Logic-Based Program Synthesis and Transformation ISBN: 9783031167669
Publication Year :: 2022
Publisher :: Springer International Publishing, 2022.

ISBN :: 978-3-031-16766-9
ISBNs :: 9783031167669
Database :: OpenAIRE
Journal :: Logic-Based Program Synthesis and Transformation ISBN: 9783031167669
Accession number :: edsair.doi...........8180d43454983cc4ca6c796985454be1
Full Text :: https://doi.org/10.1007/978-3-031-16767-6_1