| Name: | Relations and Logic: Non-standard Interpretations |
| ID: | m12741 |
| Language: | English (en) |
| Summary: | |
| Subject: | Science and Technology |
| Keywords: | interpretation, non-standard interpretation, nonstandard interpretation, oracle, Poincaré disc, Poincare disc, P vs NP, relativized, unique factorization into primes |
| Document Type: | -//CNX//DTD CNXML 0.5 plus MathML//EN |
| License: | Creative Commons Attribution License CC-BY 2.0 |
|
|
|
| Authors: | Ian Barland (ibarland@radford.edu), Moshe Vardi (vardi@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Matthias Felleisen (matthias@ccs.neu.edu), John Greiner (greiner@cs.rice.edu) |
| Copyright Holders: | Ian Barland (ibarland@radford.edu) |
| Maintainers: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu) |
|
|
|
| Latest version: | 1.3 (history) |
| First publication date: | Apr 1, 2005 4:16 pm US/Central |
| Last revision to module: | Jan 26, 2009 11:07 am US/Central |
|
|
|
| Module XML: | m12741_1.3.cnxml |
| Version: | 1.3 Jan 26, 2009 11:07 am US/Central by John Greiner |
| Changes: | Improved MathML. |
|
|
|
| Version: | 1.2 Jan 25, 2009 7:33 pm US/Central by Ian Barland |
| Changes: | Added greiner as maintainer. |
|
|
|
| Version: | 1.1 Apr 1, 2005 4:57 pm US/Central by Ian Barland |
| Changes: | Initial release. |
If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.
If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 2.0), you must include
See the citation section below for examples you can copy.
The following citation styles comply with the attribution requirements for the license (CC-BY 2.0) of this work:
Barland, I.; Vardi, M.; Kolaitis, P.; Felleisen, M.; Greiner, J. Relations and Logic: Non-standard Interpretations, Connexions Web site. http://cnx.org/content/m12741/1.3/, Jan 26, 2009.
Barland I, Vardi M, Kolaitis P, Felleisen M, Greiner J. Relations and Logic: Non-standard Interpretations [Connexions Web site]. January 26, 2009. Available at: http://cnx.org/content/m12741/1.3/.
Barland, I., Vardi, M., Kolaitis, P., Felleisen, M., & Greiner, J. (2009, January 26). Relations and Logic: Non-standard Interpretations. Retrieved from the Connexions Web site: http://cnx.org/content/m12741/1.3/
Barland, Ian, Moshe Vardi, Phokion Kolaitis, Matthias Felleisen, and John Greiner. "Relations and Logic: Non-standard Interpretations." Connexions. January 26, 2009. http://cnx.org/content/m12741/1.3/.
Ian Barland and others, "Relations and Logic: Non-standard Interpretations," Connexions, January 26, 2009, http://cnx.org/content/m12741/1.3/.
Barland, I., Vardi, M., Kolaitis, P., Felleisen, M., & Greiner, J. 2009. Relations and Logic: Non-standard Interpretations. Connexions, January 26, 2009. http://cnx.org/content/m12741/1.3/.
Barland, Ian, Moshe Vardi, Phokion Kolaitis, Matthias Felleisen, and John Greiner. Relations and Logic: Non-standard Interpretations. Connexions. 26 Jan. 2009 <http://cnx.org/content/m12741/1.3/>.