Search Results       Your search for [author]Kamsteeg, Gertjan. returned 1 record.           Formalization of process Algebra with data in the calculus of constructions with inductive types. by Kamsteeg, Gertjan.; Leiden: Netherlands, 1999. Subject: Algebra -- Data processing; Formal methods (Computer science); Parallel processing (Electronic computers).          Add to Book Cart Relevance: 26.68%