Skip to main content

1 Result(s)

within Numeric Computing Remove this filter Chung-Kil Hur Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Equational Systems and Free Constructions (Extended Abstract)

    The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop a theory of free constructions for such equational systems; and to ...

    Marcelo Fiore, Chung-Kil Hur in Automata, Languages and Programming (2007)