Connexions

Sections
You are here: Home » Content » Relations and Logic: Non-standard Interpretations

About: Relations and Logic: Non-standard Interpretations

Module by: Ian Barland, Moshe Vardi, Phokion Kolaitis, Matthias Felleisen, John Greiner. E-mail the authors

View content

Metadata

Name: Relations and Logic: Non-standard Interpretations
ID: m12741
Language: English (en)
Summary: How non-standard interpretations can provide insight into tough problems.
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 History

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.

How to Reuse and Attribute This Content

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

  • the authors' names: Ian Barland, Moshe Vardi, Phokion Kolaitis, Matthias Felleisen, John Greiner
  • the title of the work: Relations and Logic: Non-standard Interpretations
  • the Connexions URL where the work can be found: http://cnx.org/content/m12741/1.3/

See the citation section below for examples you can copy.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 2.0) of this work:

American Chemical Society (ACS) Style Guide:

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.

American Medical Assocation (AMA) Manual of Style:

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/.

American Psychological Assocation (APA) Publication Manual:

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/

Chicago Manual of Style (Bibliography):

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/.

Chicago Manual of Style (Note):

Ian Barland and others, "Relations and Logic: Non-standard Interpretations," Connexions, January 26, 2009, http://cnx.org/content/m12741/1.3/.

Chicago Manual of Style (Reference, in Author-Date style):

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/.

Modern Languages Association (MLA) Style Manual:

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/>.