<?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 >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.html" >Top</a> <a href="chap1.html" >1</a> <a href="chap2.html" >2</a> <a href="chap3.html" >3</a> <a href="chap4.html" >4</a> <a href="chap5.html" >5</a> <a href="chap6.html" >6</a> <a href="chap7.html" >7</a> <a href="chap8.html" >8</a> <a href="chap9.html" >9</a> <a href="chap10.html" >10</a> <a href="chap11.html" >11</a> <a href="chap12.html" >12</a> <a href="chapA.html" >A</a> <a href="chapB.html" >B</a> <a href="chapC.html" >C</a> <a href="chapD.html" >D</a> <a href="chapE.html" >E</a> <a href="chapF.html" >F</a> <a href="chapBib.html" >Bib</a> <a href="chapInd.html" >Ind</a> </div >div class="chlinkprevnexttop" > <a href="chap0.html" >[Top of Book]</a> <a href="chap0.html#contents" >[Contents]</a> <a href="chapB.html" >[Previous Chapter]</a> <a href="chapD.html" >[Next Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chapC_mj.html" >[MathJax on]</a></p>"X8222352C78A19214" name="X8222352C78A19214" ></a></p>div class="ChapSects" ><a href="chapC.html#X8222352C78A19214" >C <span class="Heading" >Logic Subpackages</span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chapC.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.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.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.html" >[Top of Book]</a> <a href="chap0.html#contents" >[Contents]</a> <a href="chapB.html" >[Previous Chapter]</a> <a href="chapD.html" >[Next Chapter]</a> </div >div class="chlinkbot" ><span class="chlink1" >Goto Chapter: </span ><a href="chap0.html" >Top</a> <a href="chap1.html" >1</a> <a href="chap2.html" >2</a> <a href="chap3.html" >3</a> <a href="chap4.html" >4</a> <a href="chap5.html" >5</a> <a href="chap6.html" >6</a> <a href="chap7.html" >7</a> <a href="chap8.html" >8</a> <a href="chap9.html" >9</a> <a href="chap10.html" >10</a> <a href="chap11.html" >11</a> <a href="chap12.html" >12</a> <a href="chapA.html" >A</a> <a href="chapB.html" >B</a> <a href="chapC.html" >C</a> <a href="chapD.html" >D</a> <a href="chapE.html" >E</a> <a href="chapF.html" >F</a> <a href="chapBib.html" >Bib</a> <a href="chapInd.html" >Ind</a> </div >hr />"foot" >generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc " >GAPDoc2HTML</a></p>body >html >quality 100%
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
