Undecidability bounds for integer matrices using Claus instances

author
contributor
inLanguage
  • en
isPartOf
name
  • Undecidability bounds for integer matrices using Claus instances
P60049

Instances

Undecidability bounds for integer matrices using Claus instances

datePublished
  • 2006
identifier
  • propertyID: FI-FENNI value: 830792
  • propertyID: FI-MELINDA value: 000415394
  • propertyID: FI-MELINDA value: 005207811
  • propertyID: skl value: fx830792
isbn
  • 9521217200
isPartOf
name
  • Undecidability bounds for integer matrices using Claus instances
numberOfPages
  • 15, [3] s.
P60048
P60050
publication
  • location: Turku organizer: Turun tietotekniikan tutkimus- ja koulutuskeskus
publisher

Download this resource as RDF: