Logic over words on denumerable ordinals

Document type :
Journal articles
Complete list of metadatas

https://hal-upec-upem.archives-ouvertes.fr/hal-00619359
Contributor : Nicolas Bedon <>
Submitted on : Tuesday, September 6, 2011 - 11:11:34 AM
Last modification on : Wednesday, April 11, 2018 - 12:12:02 PM

Identifiers

  • HAL Id : hal-00619359, version 1

Collections

Citation

Nicolas Bedon. Logic over words on denumerable ordinals. Journal of Computer and System Sciences, Elsevier, 2001, 63 (3), pp.394-431. ⟨hal-00619359⟩

Share

Metrics

Record views

146