<?xml version=
"1.0" encoding=
"UTF-8" ?>
<!
DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd " >
<
html xmlns=
"http://www.w3.org/1999/xhtml " xml:lang=
"en" >
<
head >
<
script type=
"text/javascript"
src=
"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML " >
</
script >
<
title >GAP (homalg) - Appendix C: Logic Subpackages</
title >
<
meta http-equiv=
"content-type" content=
"text/html; charset=UTF-8" />
<
meta name=
"generator" content=
"GAPDoc2HTML" />
<
link rel=
"stylesheet" type=
"text/css" href=
"manual.css" />
<
script src=
"manual.js" type=
"text/javascript" ></
script >
<
script type=
"text/javascript" >overwriteStyle();</
script >
</
head >
<
body class=
"chapC" onload=
"jscontent()" >
<
div class=
"chlinktop" ><
span class=
"chlink1" >Goto Chapter: </
span ><a href=
"chap0_mj.html" >Top<
/a> <a href="chap1_mj.html" >1</a> <a href="chap2_mj.html" >2</a> <a href="chap3_mj.html" >3</a> <a href="chap4_mj.html" >4</a> <a href="chap5_mj.html" >5</a> <a href="chap6_mj.html" >6</a> <a href="chap7_mj.html" >7</a> <a href="chap8_mj.html" >8</a> <a href="chap9_mj.html" >9</a> <a href="chap10_mj.html" >10</a> <a href="chap11_mj.html" >11</a> <a href="chap12_mj.html" >12</a> <a href="chapA_mj.html" >A</a> <a href="chapB_mj.html" >B</a> <a href="chapC_mj.html" >C</a> <a href="chapD_mj.html" >D</a> <a href="chapE_mj.html" >E</a> <a href="chapF_mj.html" >F</a> <a href="chapBib_mj.html" >Bib</a> <a href="chapInd_mj.html" >Ind</a> </div >div class="chlinkprevnexttop" > <a href="chap0_mj.html" >[Top of Book]</a> <a href="chap0_mj.html#contents" >[Contents]</a> <a href="chapB_mj.html" >[Previous Chapter]</a> <a href="chapD_mj.html" >[Next Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chapC.html" >[MathJax off]</a></p>"X8222352C78A19214" name="X8222352C78A19214" ></a></p>div class="ChapSects" ><a href="chapC_mj.html#X8222352C78A19214" >C <span class="Heading" >Logic Subpackages</span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chapC_mj.html#X84B5336279AF7DE4" >C.1 <span class="Heading" ><strong class="pkg" >LIOBJ</strong >: Logical Implications for Objects of Abelian Categories</span ></a>span >div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chapC_mj.html#X8744FAF47E59C422" >C.2 <span class="Heading" ><strong class="pkg" >LIMOR</strong >: Logical Implications for Morphisms of Abelian Categories</span ></a>span >div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chapC_mj.html#X8024C3D08006C35A" >C.3 <span class="Heading" ><strong class="pkg" >LICPX</strong >: Logical Implications for Complexes in Abelian Categories</span ></a>span >div >div >span class="Heading" >Logic Subpackages</span ></h3>"X84B5336279AF7DE4" name="X84B5336279AF7DE4" ></a></p>span class="Heading" ><strong class="pkg" >LIOBJ</strong >: Logical Implications for Objects of Abelian Categories</span ></h4>"X8744FAF47E59C422" name="X8744FAF47E59C422" ></a></p>span class="Heading" ><strong class="pkg" >LIMOR</strong >: Logical Implications for Morphisms of Abelian Categories</span ></h4>"X8024C3D08006C35A" name="X8024C3D08006C35A" ></a></p>span class="Heading" ><strong class="pkg" >LICPX</strong >: Logical Implications for Complexes in Abelian Categories</span ></h4>div class="chlinkprevnextbot" > <a href="chap0_mj.html" >[Top of Book]</a> <a href="chap0_mj.html#contents" >[Contents]</a> <a href="chapB_mj.html" >[Previous Chapter]</a> <a href="chapD_mj.html" >[Next Chapter]</a> </div >div class="chlinkbot" ><span class="chlink1" >Goto Chapter: </span ><a href="chap0_mj.html" >Top</a> <a href="chap1_mj.html" >1</a> <a href="chap2_mj.html" >2</a> <a href="chap3_mj.html" >3</a> <a href="chap4_mj.html" >4</a> <a href="chap5_mj.html" >5</a> <a href="chap6_mj.html" >6</a> <a href="chap7_mj.html" >7</a> <a href="chap8_mj.html" >8</a> <a href="chap9_mj.html" >9</a> <a href="chap10_mj.html" >10</a> <a href="chap11_mj.html" >11</a> <a href="chap12_mj.html" >12</a> <a href="chapA_mj.html" >A</a> <a href="chapB_mj.html" >B</a> <a href="chapC_mj.html" >C</a> <a href="chapD_mj.html" >D</a> <a href="chapE_mj.html" >E</a> <a href="chapF_mj.html" >F</a> <a href="chapBib_mj.html" >Bib</a> <a href="chapInd_mj.html" >Ind</a> </div >hr />"foot" >generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc " >GAPDoc2HTML</a></p>body >html > Messung V0.5 C=93 H=96 G=94
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
