Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals

published by Alban Ponse in 2014 in Informatics Engineering and research's language is English Download

Download