<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>Bibliography on Semantics</title>
<link rel="stylesheet" href="../bibliography.css" type="text/css" />
<link rev="made" href="mailto:liinwwwa@ira.uka.de" />
<link rel="copyright" href="../Copyright.html" />
<link rel="up" href="index.html" />
<link rel="home" href="../index.html" />
<link rel="top" href="../index.html" />
<meta name="description" content="Bibliography on Semantics. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="DC.DESCRIPTION" content="Bibliography on Semantics. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="keywords" content="searchable bibliography, computer science, RSS, 
" />
<meta name="DC.SUBJECT" content="searchable bibliography, computer science, RSS, 
" />
<meta name="robots" content="noarchive,nofollow" />
<meta name="resource-type" content="document" />
<meta name="distribution" content="global" />
<meta name="copyright" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.COPYRIGHT" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Paul Ortyl" />
</head>
<body>
<h1 class="page_title">The Collection of<br />Computer Science Bibliographies</h1><ul class="top_nav"><li><a href="../index.html" title="Home page of The Collection of Computer Science Bibliographies">Collection Home</a></li>
<li><a href="index.html">Up: Bibliographies on Programming Languages, Type Theory and Compiler Technology</a></li>
</ul>
<h1 class="subcollectiontitle">Bibliography on Semantics</h1>
<p style="text-align:center; font-size:small">[ &nbsp; <a href="#about">About</a> &nbsp; | &nbsp;<a href="#browse">Browse</a> &nbsp; | &nbsp; <a href="#stats">Statistics</a> &nbsp; ]</p><table width="100%" cellpadding="0"><colgroup span="4" width="1*" /><tr><th align="right">Number of references:</th><td align="left">841</td><th align="right">Last update:</th><td align="left">November 3, 2008</td></tr><tr><th align="right">Number of online publications:</th><td align="left">113</td><th align="right">Supported:</th><td align="left">Unknown</td></tr><tr><th align="right">Most recent reference:</th><td align="left">2008</td>
<th> </th><td> </td></tr></table>

<!-- short form -->
<!-- short search form -->
<h2 class="h2bar"><a id="about">Information on the Bibliography</a></h2>
<dl>
<dt><strong>Author:</strong></dt>
<dd><a href="http://www.ccs.neu.edu/home/wand/">Mitchell Wand</a> &lt;wand @ ccs . neu . edu&gt; <i>(email mangled to prevent spamming)</i><br />
<a href="http://www.ccs.neu.edu/">College of Computer Science</a><br /> Northeastern University<br /> 360 Huntington Avenue 161CN,<br /> Boston, MA 02115
</dd>
</dl>
<h2 class="h2bar"><a id="browse">Browsing the bibliography</a></h2>
<ul><li><dl>
<dt><strong>Original source:</strong></dt>
<dd><a href="http://www.ccs.neu.edu/home/wand/refs.bib">http://www.ccs.neu.edu</a>...
(Format: bibtex) 
</dd></dl></li></ul>
<h2 class="h2bar"><a id="stats">Bibliographic Statistics</a></h2>
<dl>
<dt><strong>Types:</strong></dt>
<dd>inproceedings(281), article(255), book(118),
incollection(66), techreport(63), phdthesis(22),
 unpublished(18), misc(8), mastersthesis(4),
 proceedings(4), manual(2)</dd><dt><strong>Fields:</strong></dt>
<dd>title(841), year(837), author(828), pages(543),
booktitle(350), volume(324), address(296),
 publisher(281), journal(255), month(187), number(148),
 editor(103), url(93), series(82), note(72),
 institution(65), abstract(53), type(49), source(30),
 isbn(26), school(26), issn(24), doi(23), doi-url(23),
 organization(17), acknowledgement(13), keywords(13),
 bibdate(12), location(12), coden(9), edition(9),
 key(8), annote(7), optmonth(7), howpublished(5),
 optnumber(5), ee(4), optnote(4), subject(4),
 optpages(3), optpublisher(3), optvolume(3),
 references(3), categories(2), checked(2),
 classification(2), genterms(2), issue(2), lccn(2),
 opteditor(2), optseries(2), reffrom(2), text(2),
 affiliation(1), citation-source(1),
 citeulike-article-id(1), clt-url(1), corpsource(1),
 dates(1), descr(1), descriptor(1), eprint(1),
 fullurl(1), journalabr(1), jpagecount(1), notes(1),
 oldbooktitle(1), optcrossref(1), optjournal(1),
 optorganization(1), optyear(1), place(1), priority(1),
 pubcountry(1), publaddr(1), referencedby(1),
 treatment(1), xbooktitle(1)</dd><dt><strong>Distribution of publication dates:</strong></dt>
<dd style="text-align:center">
<object data="semantics.years.stats.svgz" type="image/svg+xml" width="800" height="400" style="width: 80ex; height: 40ex;">
<img src="semantics.years.stats.png" alt="Distribution of publication dates" title="Distribution of publication dates" />
</object></dd>
</dl>
<p class="footer">
<a href="http://liinwww.ira.uka.de/bibliography/Copyright.html">Copyright</a> &copy; 1995-2008 Alf-Christian Achilles, All rights reserved.
<br />
This service is brought to you by
<a href="http://liinwww.ira.uka.de/~achilles/">Alf-Christian Achilles</a> 
and <a href="http://3miasto.net.pl/~ortylp">Paul Ortyl</a>
<br />
Please direct <a href="http://liinwww.ira.uka.de/bibliography/Comments.html" title="Send your comments via form.">comments</a> 
to <kbd><a href="mailto:liinwwwa@ira.uka.de" title="Send your comments via email.">liinwwwa@ira.uka.de</a></kbd>
</p>

<p>
<a href="http://validator.w3.org/check?uri=referer"><img src="/valid-xhtml11.png" alt="Valid XHTML 1.1!" /></a>&nbsp;
<a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="/vcss.png" alt="Valid CSS!" /></a>
</p>
</body>
</html>
