Decidability of natural integers equipped with Cantor pairing function and successor - Archive ouverte HAL Access content directly
Journal Articles Theoretical Computer Science Year : 2001

Decidability of natural integers equipped with Cantor pairing function and successor

Denis Richard
  • Function : Author

Domains

Logic [math.LO]
No file

Dates and versions

hal-00095681 , version 1 (18-09-2006)

Identifiers

  • HAL Id : hal-00095681 , version 1

Cite

Patrick Cegielski, Denis Richard. Decidability of natural integers equipped with Cantor pairing function and successor. Theoretical Computer Science, 2001, 257, pp.51-77. ⟨hal-00095681⟩

Collections

CNRS LACL UPEC
105 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More