Skip to Main content Skip to Navigation
Conference papers

Deflating semantical consistency proofs

keyword : semantics
Complete list of metadata

https://halshs.archives-ouvertes.fr/halshs-00792200
Contributor : Henri Galinon <>
Submitted on : Thursday, February 21, 2013 - 2:02:20 PM
Last modification on : Thursday, March 4, 2021 - 8:46:03 AM

Identifiers

  • HAL Id : halshs-00792200, version 1

Citation

Henri Galinon. Deflating semantical consistency proofs. Sémantique, Sémantiques, Oct 2010, Paris, France. ⟨halshs-00792200⟩

Share

Metrics

Record views

116