Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

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).

CTAN path/macros/la­tex/con­trib/rec-thy
Doc­u­men­ta­tion Readme
Pack­age doc­u­men­ta­tion
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 2013-04-08 06:23