Craig, Suzanne; Downey, Naiche; Goad, Lucas; Mahoney, Michael J.; Watts, Jordan Orbit spaces of linear circle actions. (English) Zbl 1434.58002 Involve 12, No. 6, 941-959 (2019). Reviewer: Alexander Schmeding (Bergen) MSC: 58A40 16W22 PDFBibTeX XMLCite \textit{S. Craig} et al., Involve 12, No. 6, 941--959 (2019; Zbl 1434.58002) Full Text: DOI arXiv
Ceyhan, Elvan; Goad, Carla L. A comparison of analysis of covariate-adjusted residuals and analysis of covariance. (English) Zbl 1182.62146 Commun. Stat., Simulation Comput. 38, No. 10, 2019-2038 (2009). MSC: 62J10 62F03 65C05 62J05 PDFBibTeX XMLCite \textit{E. Ceyhan} and \textit{C. L. Goad}, Commun. Stat., Simulation Comput. 38, No. 10, 2019--2038 (2009; Zbl 1182.62146) Full Text: DOI arXiv
Goad, Clyde C.; Grejner-Brzezinska, Dorota A.; Yang, Ming Determination of high-precision GPS orbits using triple differencing technique. (English) Zbl 0971.86506 J. Geod. 70, No. 11, 655-662 (1996). MSC: 86A30 PDFBibTeX XMLCite \textit{C. C. Goad} et al., J. Geod. 70, No. 11, 655--662 (1996; Zbl 0971.86506) Full Text: DOI
Goad, Chris Metaprogramming at work in automated manufacturing. (English) Zbl 0755.68146 Artificial intelligence and mathematical theory of computation, Pap. in Honor of J. McCarthy, 109-128 (1991). MSC: 68U99 68N01 PDFBibTeX XMLCite \textit{C. Goad}, in: Artificial intelligence and mathematical theory of computation. Papers in honor of John McCarthy. Boston, MA etc.: Academic Press, Inc.. 109--128 (1991; Zbl 0755.68146)
Goad, Chris Metaprogramming in SIL. (English) Zbl 0692.68008 Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 157-176 (1990). MSC: 68N01 PDFBibTeX XML
Goad, C. A. Proofs as descriptions of computation. (English) Zbl 0438.68052 Automated deduction, 5th Conf., Les Arcs/France 1980, Lect. Notes Comput. Sci. 87, 39-52 (1980). MSC: 68T15 68W99 03F99 68Q65 68-04 PDFBibTeX XML
Goad, C. A. Monadic infinitary propositional logic. A special operator. (English) Zbl 0424.03029 Rep. Math. Logic 10, 43-50 (1978). MSC: 03F55 PDFBibTeX XMLCite \textit{C. A. Goad}, Rep. Math. Logic 10, 43--50 (1978; Zbl 0424.03029)