Definability, decidability and complexity - Archive ouverte HAL Access content directly
Journal Articles Annals of Mathematics and Artificial Intelligence Year : 1996

Definability, decidability and complexity

Domains

Logic [math.LO]
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00095667 , version 1

Cite

Patrick Cegielski. Definability, decidability and complexity. Annals of Mathematics and Artificial Intelligence, 1996, 111, pp.311-341. ⟨hal-00095667⟩

Collections

CNRS LACL UPEC
64 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More