<?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>Papers and talks produced by the Institut f&uuml;r Computersprachen, TU Wien</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="Papers and talks produced by the Institut f&uuml;r Computersprachen, TU Wien. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="DC.DESCRIPTION" content="Papers and talks produced by the Institut f&uuml;r Computersprachen, TU Wien. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="keywords" content="searchable bibliography, computer science, RSS, 
, compiler, programming languages, formal logic, logic programming" />
<meta name="DC.SUBJECT" content="searchable bibliography, computer science, RSS, 
, compiler, programming languages, formal logic, logic programming" />
<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">Papers and talks produced by the Institut f&uuml;r Computersprachen, TU Wien</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">368</td><th align="right">Last update:</th><td align="left">October 2, 2008</td></tr><tr><th align="right">Number of online publications:</th><td align="left">156</td><th align="right">Supported:</th><td align="left">Unknown</td></tr><tr><th align="right">Most recent reference:</th><td align="left">January 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.complang.tuwien.ac.at/anton/home.html">M. Anton Ertl</a> &lt;anton @ complang . tuwien . ac . at&gt; <i>(email mangled to prevent spamming)</i><br />
<a href="http://info.tuwien.ac.at/histu/inst/185.html">Institut f&uuml;r Computersprachen</a><br /> TU Wien<br /> Resselgasse 3<br /> A-1040 Wien<br /> Austria
</dd><dt><strong>Keywords:</strong></dt><dd>
compiler, programming languages, formal logic, logic programming</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.complang.tuwien.ac.at/papers/REFS.bib">http://www.complang.tuwien.ac.at</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(187), unpublished(63), article(60),
proceedings(23), mastersthesis(14), techreport(7),
 book(5), incollection(4), inbook(2), phdthesis(2),
 manual(1)</dd><dt><strong>Fields:</strong></dt>
<dd>title(367), year(366), author(343), booktitle(213),
address(175), month(166), pages(141), url(135),
 publisher(116), editor(89), note(89), abstract(78),
 volume(74), number(60), journal(59), series(53),
 key(37), organization(26), type(20), school(16),
 isbn(15), optnote(14), comment(13), mon(10),
 institution(7), issn(7), doi(5), acknowledgement(4),
 annote(4), doi-url(4), pdfurl(4), bibdate(3), coden(3),
 keywords(3), kurzfassung(3), url2(3), chapter(2),
 date(2), lccn(2), sourceurl(2), abstract-url(1),
 cdate(1), edition(1), isbn13(1), issueurl(1),
 location(1), mdate(1), opteditor(1), optpages(1),
 optpublisher(1), optseries(1), optvolume(1),
 pdf-url(1), place(1), proceedingsurl(1), ps-url(1),
 psurl(1), ulr(1), url1(1)</dd><dt><strong>Distribution of publication dates:</strong></dt>
<dd style="text-align:center">
<object data="Inst.Computersprachen.TUWien.years.stats.svgz" type="image/svg+xml" width="800" height="400" style="width: 80ex; height: 40ex;">
<img src="Inst.Computersprachen.TUWien.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>
