Skolem's problem : on the border between decidability and undecidability

URI: http://urn.fi/URN:NBN:fi:bib:me:W00036406400
contributor
inLanguage
  • en
isPartOf
name
  • Skolem's problem : on the border between decidability and undecidability
P60049

Instances

View this in Finna

Skolem's problem : on the border between decidability and undecidability

URI: http://urn.fi/URN:NBN:fi:bib:me:I00036406400
datePublished
  • 2005
identifier
  • propertyID: FI-FENNI value: 800459
  • propertyID: FI-MELINDA value: 000364064
  • propertyID: skl value: fx800459
isbn
  • 9521215348
isPartOf
name
  • Skolem's problem : on the border between decidability and undecidability
numberOfPages
  • 36, [2] s.
P60048
P60050
publication
  • location: Turku organizer: Turun tietotekniikan tutkimus- ja koulutuskeskus
publisher

Download this resource as RDF: