Modular and Incremental Proofs of AC-Termination

Claude Marché; Xavier Urbain

doi:10.1016/j.jsc.2004.02.003

Journal articles

Modular and Incremental Proofs of AC-Termination

Claude Marché ¹ Xavier Urbain ^{2, 1}

1 LRI - Laboratoire de Recherche en Informatique

2 UP11 - Université Paris-Sud - Paris 11

Document type :

Journal articles

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01984429
Contributor : Xavier Urbain <>
Submitted on : Thursday, January 17, 2019 - 7:57:22 AM
Last modification on : Wednesday, September 16, 2020 - 5:13:44 PM

Modular and Incremental Proofs of AC-Termination

Identifiers

Collections

Citation

Export

Metrics

38

Modular and Incremental Proofs of AC-Termination

Identifiers

Collections

Citation

Export

Share

Metrics

38