Matches in DBpedia 2016-04 for { <http://www.lcs.mit.edu/publications/pubs/ps/MIT-LCS-TM-043.ps> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- MIT-LCS-TM-043.ps authorlink1 "Michael J. Fischer".
- MIT-LCS-TM-043.ps authorlink2 "Michael O. Rabin".
- MIT-LCS-TM-043.ps date "1974".
- MIT-LCS-TM-043.ps first1 "Michael J.".
- MIT-LCS-TM-043.ps first2 "Michael O.".
- MIT-LCS-TM-043.ps isCitedBy Presburger_arithmetic.
- MIT-LCS-TM-043.ps isCitedBy Recursive_language.
- MIT-LCS-TM-043.ps journal "Proceedings of the SIAM-AMS Symposium in Applied Mathematics".
- MIT-LCS-TM-043.ps last1 "Fischer".
- MIT-LCS-TM-043.ps last2 "Rabin".
- MIT-LCS-TM-043.ps pages "27–41".
- MIT-LCS-TM-043.ps ref "harv".
- MIT-LCS-TM-043.ps title "Super-Exponential Complexity of Presburger Arithmetic".
- MIT-LCS-TM-043.ps url MIT-LCS-TM-043.ps.
- MIT-LCS-TM-043.ps volume "7".