Ankündigungen für rec-thy
- 2024-03-30 CTAN update: rec-thy
- 2022-07-27 CTAN update: rec-thy
- 2022-04-25 CTAN update: rec-thy
- 2021-04-01 CTAN Update: rec-thy
- 2021-03-02 CTAN update: rec-thy
- 2020-06-06 CTAN update: rec-thy
- 2020-06-03 CTAN Update: rec-thy
- 2020-05-23 CTAN Update: rec-thy
- 2019-02-18 CTAN update: rec-thy
- 2018-12-01 CTAN update: rec-thy
- 2018-02-15 CTAN update: rec-thy
- 2018-01-01 CTAN update: rec-thy
- 2017-10-06 CTAN update: rec-thy
- 2017-09-27 CTAN update: rec-thy
- 2011-01-02 CTAN update: rec-thy
- 2010-10-16 CTAN has a new package: rec-thy
rec-thy – Commands to typeset recursion theory papers
This package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation. This includes easy commands to denote Turing reductions, Turing functionals, c.e. sets, stagewise computations, forcing and syntactic classes.
| Paket | rec-thy |
| Version | 4.0 2024-03-29 |
| Copyright | 2010–2024 Peter M. Gerdes |
| Betreuer | Peter M. Gerdes |
Atom Atom-1.0-Feed mit Ankündigungen für das Paket rec-thy.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket rec-thy.