/usr/share/mozart/doc/fst/bib.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>Bibliography</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node6.html#fset.examples.golf"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD></TR></TABLE><H1><A name="label5">Bibliography</A></H1><DL>
<DT><A name=LindnerRosa:80>[LR80]</A>
<DD><P>C.C. Lindner and A. Rosa.
Topics on steiner systems.
In <EM>Annals of Discrete Mathematics</EM>, volume 7. North Holland,
1980.</P>
<DT><A name=Muellermueller.wlp.97>[MM97]</A>
<DD><P>Tobias Müller and Martin Müller.
Finite set constraints in Oz.
In Fran\ccois Bry, Burkhard Freitag, and Dietmar Seipel, editors, <EM>13.
Workshop Logische Programmierung</EM>, pages 104-115, Technische
Universität München, 17--19 September 1997.</P>
<DT><A name=Mueller:98a>[Mül98]</A>
<DD><P>Tobias Müller.
Solving set partitioning problems with constraint programming.
In <EM>Proceedings of the Sixth International Conference on the Practical
Application of Prolog and the Forth International Conference on the Practical
Application of Constraint Technology -- PAPPACT98</EM>, pages 313-332,
London, UK, March 1998. The Practical Application Company Ltd.</P>
</DL>
<TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node6.html#fset.examples.golf"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|