@article{journals/cuza/KossovskiT98,
  author = {Kossovski, Nikolai and Tishkov, Artem},
  interhash = {b35326b797446d000bd01b32406f2ffc},
  intrahash = {b122e30cc9b3cf7e5ba24ee5054afd1c},
  journal = {Sci. Ann. Cuza Univ.},
  pages = {114-120},
  title = {Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.},
  url = {http://dblp.uni-trier.de/db/journals/cuza/cuza8.html#KossovskiT98},
  volume = 8,
  year = 1998
}

{"_id":"pwAMvmuH5h6RPTJTG","bibbaseid":"kossovski-tishkov-specificationsbyquantifierfreetheoryofsuperlinearinequalitiesandcomplexityofitsdecidability-1998","downloads":0,"creationDate":"2017-11-25T00:20:57.935Z","title":"Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.","author_short":["Kossovski, N.","Tishkov, A."],"year":1998,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/artem?items=1000","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kossovski"],"firstnames":["Nikolai"],"suffixes":[]},{"propositions":[],"lastnames":["Tishkov"],"firstnames":["Artem"],"suffixes":[]}],"interhash":"b35326b797446d000bd01b32406f2ffc","intrahash":"b122e30cc9b3cf7e5ba24ee5054afd1c","journal":"Sci. Ann. Cuza Univ.","pages":"114-120","title":"Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.","url":"http://dblp.uni-trier.de/db/journals/cuza/cuza8.html#KossovskiT98","volume":"8","year":"1998","bibtex":"@article{journals/cuza/KossovskiT98,\n author = {Kossovski, Nikolai and Tishkov, Artem},\n interhash = {b35326b797446d000bd01b32406f2ffc},\n intrahash = {b122e30cc9b3cf7e5ba24ee5054afd1c},\n journal = {Sci. Ann. Cuza Univ.},\n pages = {114-120},\n title = {Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.},\n url = {http://dblp.uni-trier.de/db/journals/cuza/cuza8.html#KossovskiT98},\n volume = 8,\n year = 1998\n}\n\n","author_short":["Kossovski, N.","Tishkov, A."],"key":"journals/cuza/KossovskiT98","id":"journals/cuza/KossovskiT98","bibbaseid":"kossovski-tishkov-specificationsbyquantifierfreetheoryofsuperlinearinequalitiesandcomplexityofitsdecidability-1998","role":"author","urls":{"Paper":"http://dblp.uni-trier.de/db/journals/cuza/cuza8.html#KossovskiT98"},"downloads":0},"search_terms":["specifications","quantifier","free","theory","superlinear","inequalities","complexity","decidability","kossovski","tishkov"],"keywords":[],"authorIDs":[],"dataSources":["7supHakfuKN3wzsvy"]}