Crossmark

Confluence by Critical Pair Analysis Revisited

Crossref DOI link: https://doi.org/10.1007/978-3-030-29436-6_19

Published Online: 2019-08-20

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Hirokawa, Nao https://orcid.org/0000-0002-8499-0501
Nagele, Julian https://orcid.org/0000-0002-4727-4637
van Oostrom, Vincent https://orcid.org/0000-0002-4818-7383
Oyamaguchi, Michio
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 20 August 2019

Conference Information

Conference Acronym: CADE

Conference Name: International Conference on Automated Deduction

Conference City: Natal

Conference Country: Brazil

Conference Year: 2019

Conference Start Date: 27 August 2019

Conference End Date: 30 August 2019

Conference Number: 27

Conference ID: cade2019

Conference URL: https://www.mat.ufrn.br/CADE-27/