Martin Hofmann

Martin Hofmann (2011) Martin Hofmann (born 31 March 1978) is a Czech actor. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Hofmann, Martin', query time: 0.02s Refine Results
  1. 1
    Extensional constructs in intensional type theory
    by Hofmann, Martin
    Published 1997
    Book
  2. 2
    Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings /
    Published 2003
    Other Authors: “…Hofmann, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2007
    Other Authors: “…Hofmann, Martin…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Published 2011
    Other Authors: “…Hofmann, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
    by Wirsing, Martin
    Published 2010
    Other Authors: “…Hofmann, Martin…”
    Get full text
    Electronic Kit Book
  6. 6
    Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
    Published 2010
    Other Authors: “…Hofmann, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search