Content deleted Content added
Alter: author. Add: author-link. Removed URL that duplicated unique identifier. | You can use this tool yourself. Report bugs here. |
Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 |
||
Line 45:
== References ==
* {{Cite book | author = Michael Sipser | year = 1997 | title = Introduction to the Theory of Computation | publisher = PWS Publishing | chapter = Decidability | pages = 151–170 | isbn = 978-0-534-94728-6 | ref = harv | postscript = <!--None--> | author-link = Michael Sipser | url-access = registration | url = https://archive.org/details/introductiontoth00sips }}
* {{cite journal | last = Chomsky | first = Noam | year = 1959 | title = On certain formal properties of grammars | journal = Information and Control | volume = 2 | issue = 2 | pages = 137–167 | doi = 10.1016/S0019-9958(59)90362-6 | ref = harv}}
* {{cite journal | first1=Michael J. | last1=Fischer | authorlink1=Michael J. Fischer | first2=Michael O. | last2=Rabin | authorlink2=Michael O. Rabin | date=1974 | title=Super-Exponential Complexity of Presburger Arithmetic | url=http://www.lcs.mit.edu/publications/pubs/ps/MIT-LCS-TM-043.ps | journal=Proceedings of the SIAM-AMS Symposium in Applied Mathematics | volume=7 | pages=27–41 | ref=harv }}
| |||