LaTeX template for C240 Models of Computation assessed coursework
Contains macros for typesetting operational semantic rules and proof trees and other notation used in the first half of the course.
Department of Computing, Imperial College London
This is a template for preparing manuscripts for the Astrophysical Bulletin journal. It uses RevTeX4.2 as the basis for the compilation.
Astrophysical Bulletin is an international peer reviewed journal that publishes the results of original research in various areas of modern astronomy and astrophysics, including observational and theoretical astrophysics, physics of the Sun, radio astronomy, stellar astronomy, extragalactic astronomy, cosmology, and astronomy methods and instrumentation.