Connexions

Sections
You are here: Home » Content » Reference: first-order WaterWorld

About: Reference: first-order WaterWorld

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

View content

Metadata

Name: Reference: first-order WaterWorld
ID: m11072
Language: English (en)
Summary: The domain axioms of WaterWorld in first-order logic.
Subject: Mathematics and Statistics
Keywords:
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License CC-BY 1.0
Authors: John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu)
Copyright Holders: John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu)
Maintainers: John Greiner (greiner@cs.rice.edu), Ian Barland (ibarland@radford.edu)
Latest version: 2.12 (history)
First publication date: Mar 16, 2003 6:00 pm US/Central
Last revision to module: Jan 21, 2009 3:04 pm US/Central
Module XML: m11072_2.12.cnxml

Version History

Version: 2.12 Jan 21, 2009 3:04 pm US/Central by John Greiner
Changes: 
Improved MathML.
Version: 2.11 Jan 9, 2009 10:49 am US/Central by John Greiner
Changes: 
Improved MathML
Version: 2.10 Jan 7, 2009 12:55 pm US/Central by John Greiner
Changes: 
Improved MathML
Version: 2.9 Jan 29, 2008 3:38 pm US/Central by John Greiner
Changes: 
Fixed an omission in the axioms.
Version: 2.8 Jan 30, 2007 10:09 am US/Central by John Greiner
Changes: 
Finally created the content.
Version: 2.7 Mar 10, 2005 4:04 pm US/Central by Ian Barland
Changes: 
Updated roles, metadata.
Version: 2.6 Aug 9, 2004 4:31 pm GMT-5 by Fuching Chi
Changes: 
final publish
Version: 2.5 Aug 3, 2004 11:48 am GMT-5 by Sarah Trowbridge
Changes: 
new name
Version: 2.4 Aug 2, 2004 11:40 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 2.3 May 28, 2004 1:47 pm GMT-5 by Ian Barland
Changes: 
Added Bryan Cash as a maintainer.
Version: 2.2 May 14, 2004 1:45 pm GMT-5 by Ian Barland
Changes: 
Sarah added as maintainer
Version: 2.1 Mar 15, 2004 3:52 pm US/Central by Ian Barland
Changes: 
updated roles
Version: 2.0 Mar 17, 2003 12:00 am US/Central by Ian Barland
Changes: 
added maintainer bih

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 1.0), you must include

  • the authors' names: John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen
  • the title of the work: Reference: first-order WaterWorld
  • the Connexions URL where the work can be found: http://cnx.org/content/m11072/2.12/

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 1.0) of this work:

American Chemical Society (ACS) Style Guide:

Greiner, J.; Kolaitis, P.; Vardi, M.; Felleisen, M. Reference: first-order WaterWorld, Connexions Web site. http://cnx.org/content/m11072/2.12/, Jan 21, 2009.

American Medical Assocation (AMA) Manual of Style:

Greiner J, Kolaitis P, Vardi M, Felleisen M. Reference: first-order WaterWorld [Connexions Web site]. January 21, 2009. Available at: http://cnx.org/content/m11072/2.12/.

American Psychological Assocation (APA) Publication Manual:

Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, January 21). Reference: first-order WaterWorld. Retrieved from the Connexions Web site: http://cnx.org/content/m11072/2.12/

Chicago Manual of Style (Bibliography):

Greiner, John, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Reference: first-order WaterWorld." Connexions. January 21, 2009. http://cnx.org/content/m11072/2.12/.

Chicago Manual of Style (Note):

John Greiner and others, "Reference: first-order WaterWorld," Connexions, January 21, 2009, http://cnx.org/content/m11072/2.12/.

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

Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Reference: first-order WaterWorld. Connexions, January 21, 2009. http://cnx.org/content/m11072/2.12/.

Modern Languages Association (MLA) Style Manual:

Greiner, John, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Reference: first-order WaterWorld. Connexions. 21 Jan. 2009 <http://cnx.org/content/m11072/2.12/>.