CTAN
Comprehensive TeX Archive Network

An­nounce­ments for rec-thy

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­agerec-thy
Ver­sion2.1
Copy­right2010 Peter M. Gerdes
Main­tainer Peter M. Gerdes

Atom Atom 1.0 feed with an­nounce­ments for pack­age rec-thy.
RSS RSS 2.0 feed with an­nounce­ments for pack­age rec-thy.

Guest Book Sitemap Contact Contact Author