Algebraic Specification J. V. TUCKER University of Wales / University of Wales / McMaster University / /
IndustryTerm
non-empty carrier / specification solution / proof systems / abstract finite deterministic algorithms / least number search / computable finite dimensional dynamical systems / /
Organization
Department of Computing and Software / McMaster University / University of Wales / Department of Computer Science / Engineering and Physical Sciences Research Council / Natural Sciences and Engineering Research Council / /
Position
Proof theory General / mathematical model of imperative programming / second author / /
Product
Adding Booleans / /
ProvinceOrState
Alberta / Swansea / Ontario / /
Technology
dom / abstract finite deterministic algorithms / /
Abstract Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER