Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse Search

Direc­tory tex-archive/macros/latex/contrib/rec-thy

This directory contains the rec-thy package. This package provides a large
number of macros to express standard pieces of notation in recursion theory
aka computability theory. The file rec-thy.pdf (which can be generated from
rec-thy.tex) provides a guide to usage and examples of almost all the macros
and package options as well as release notes.

Comments, feedback and patches welcomes.  

Since my goal is to provide something of use to the community (and myself) 
and having seen some of the problems that can result from even well 
intentioned licenses later down the road, e.g., difficulties updating TeX,
and since I still hold sole copyright I'm releasing this into the public 
domain (this applies retroactively to  prior releases).  I would *ask* 
anyone who reuses it not to be a dick about it (give credit, commit upgrades back, 
rename if forking etc..).  Note, I will assume that any contributions to this
package are implicitly released into the public domain as well unless told
otherwise. 

Author: Peter Gerdes email: gerdes@invariant.org   
Github URL: https://github.com/TruePath/Recursion-Theory-Latex-Package

10/15/2010 - v1.0 - Original Release
01/01/2011 - v1.2
06/20/2012 - v1.3

Files

Name Size Date Notes
README 1207 2012-06-20 21:56
rec-thy.pdf 237496 2012-06-20 21:57
rec-thy.sty 37925 2012-06-16 13:17
rec-thy.tex 33454 2012-06-20 21:57

Down­load the con­tents of this pack­age in one zip archive (224.0k).

rec-thy – Com­mands to type­set re­cur­sion the­ory pa­pers

The pack­age pro­vides many macros to ex­press stan­dard no­ta­tion in re­cur­sion the­ory (oth­er­wise known as com­putabil­ity the­ory).

Pack­age De­tailsrec-thy
Ver­sion1.3
Li­censePublic Do­main Soft­ware
Copy­right2010 Peter M. Gerdes
Main­tainerPeter M. Gerdes
Con­tained inTeXlive as rec-thy
MikTeX as rec-thy
Topics sup­port for type­set­ting math­e­mat­ics
Guest Book Sitemap Contact