Non-Redundant Representation of Computations: The Integration of Equations and Relations

Michael R. Hansen

TypePh.D. thesis [Academic thesis]
Year1987
PublisherDepartment of Computer Science
AddressDTU
ISBN / ISSN0902-2821
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering