Connexions

Sections
You are here: Home » Content » Relations and Logic: modeling

About: Relations and Logic: modeling

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

View content

Metadata

Name: Relations and Logic: modeling
ID: m10727
Language: English (en)
Summary: (Blank Abstract)
Subject: Mathematics and Statistics
Keywords:
License: Creative Commons Attribution License CC-BY 1.0
Authors: Ian Barland (ibarland@radford.edu), 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: Ian Barland (ibarland@radford.edu), 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: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu)
Latest version: 2.23 (history)
First publication date: Jul 9, 2002 12:00 am GMT-5
Last revision to module: Mar 17, 2009 2:53 pm GMT-5
Module XML: m10727_2.23.cnxml

Version History

Version: 2.23 Mar 17, 2009 2:53 pm GMT-5 by John Greiner
Changes: 
Improved MathML.  Upgraded to CNXML 0.6.
Version: 2.22 Jan 9, 2009 10:46 am US/Central by John Greiner
Changes: 
Improved MathML
Version: 2.21 Jan 7, 2009 10:44 am US/Central by John Greiner
Changes: 
Improved MathML.
Version: 2.20 Jan 29, 2008 3:44 pm US/Central by John Greiner
Changes: 
Changed a WW relation name.
Version: 2.19 Jan 14, 2008 5:04 pm US/Central by John Greiner
Changes: 
Moved a footnote into here.
Version: 2.18 Jan 30, 2007 9:22 am US/Central by John Greiner
Changes: 
More MathML.  Some improvement to examples.
Version: 2.17 Jan 24, 2007 6:04 pm US/Central by John Greiner
Changes: 
More MathML.
Version: 2.16 Feb 7, 2006 1:58 pm US/Central by John Greiner
Changes: 
Changed some wording; improved formatting.
Version: 2.15 Mar 10, 2005 4:16 pm US/Central by Ian Barland
Changes: 
Updated roles, metadata.
Version: 2.14 Aug 9, 2004 4:03 pm GMT-5 by Fuching Chi
Changes: 
final publish
Version: 2.13 Aug 3, 2004 11:22 am GMT-5 by Sarah Trowbridge
Changes: 
new name
Version: 2.12 Aug 2, 2004 11:31 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 2.11 May 28, 2004 1:48 pm GMT-5 by Ian Barland
Changes: 
Added Bryan Cash as a maintainer.
Version: 2.10 May 14, 2004 2:23 pm GMT-5 by Ian Barland
Changes: 
Sarah added as maintainer
Version: 2.9 Mar 15, 2004 3:58 pm US/Central by Ian Barland
Changes: 
updated roles
Version: 2.8 Feb 3, 2003 12:00 am US/Central by (Unknown)
Changes: 
Added maintainer
Version: 2.7 Jan 22, 2003 12:00 am US/Central by (Unknown)
Changes: 
Sample text
Version: 2.6 Oct 10, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
Sample text
Version: 2.5 Sep 10, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
added greiner
Version: 2.4 Jul 31, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
release 1
Version: 2.3 Jul 30, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
upgraded to cnxml 0.4 (new scripts)
Version: 2.2 Jul 11, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
updated author / maintainers
Version: 2.1 Jul 9, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
ok to begin with
Version: 2.0 Jul 9, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
Added initial template for new module m10727

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: Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen
  • the title of the work: Relations and Logic: modeling
  • the Connexions URL where the work can be found: http://cnx.org/content/m10727/2.23/

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:

Barland, I.; Greiner, J.; Kolaitis, P.; Vardi, M.; Felleisen, M. Relations and Logic: modeling, Connexions Web site. http://cnx.org/content/m10727/2.23/, Mar 17, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Relations and Logic: modeling [Connexions Web site]. March 17, 2009. Available at: http://cnx.org/content/m10727/2.23/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, March 17). Relations and Logic: modeling. Retrieved from the Connexions Web site: http://cnx.org/content/m10727/2.23/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Relations and Logic: modeling." Connexions. March 17, 2009. http://cnx.org/content/m10727/2.23/.

Chicago Manual of Style (Note):

Ian Barland and others, "Relations and Logic: modeling," Connexions, March 17, 2009, http://cnx.org/content/m10727/2.23/.

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

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Relations and Logic: modeling. Connexions, March 17, 2009. http://cnx.org/content/m10727/2.23/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Relations and Logic: modeling. Connexions. 17 Mar. 2009 <http://cnx.org/content/m10727/2.23/>.