Dino Lincoln

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
There are moments within the process of creating an artifact, for instance at the initial requirements gathering or in the assessment phase, that users input data is collected. There may be an impact directly on the results of the analysis of this data if, for some reason, this data input is not accurate. This paper will focus on a specific phenomenon,(More)
  • D. Lincoln, John C. Mitchelly, Andre ScedrovzAbstractA
  • 2007
A class of linear logic proof games is developed, each with a numeric score that depends on the number of preferred axioms used in a complete or partial proof tree. The complexity of these games is analyzed for the np-complete multiplicative fragment (mll) extended with additive constants and the pspace-complete multiplicative, additive fragment (mall) of(More)
  • 1