Showing 1 - 3 results of 3 for search 'Altenkirch, Thorsten', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 3rd workshop on Programming languages meets program verification
    Published 2009
    Other Authors: “…Altenkirch, Thorsten…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    Published 2007
    Other Authors: “…Altenkirch, Thorsten…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Types for Proofs and Programs International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers /
    Published 1999
    Other Authors: “…Altenkirch, Thorsten…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search