!UNITY: A HOL Theory of General UNITY

I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, S.D. Swierstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationEmerging Trends Proceedings of 16th International Conference, Theorem Proving in Higher Order Logics (TPHOL)
EditorsD. Basin, B. Wolff
Pages159-176
Number of pages18
Publication statusPublished - 2003

Keywords

  • Mathematics
  • Informatica
  • Landbouwwetenschappen
  • Natuurwetenschappen

Cite this