If you made any changes in Pure these will be visible here soon.

Search results

  • 2010

    Algorithmic Term Rewriting Systems

    Isihara, A., 2010

    Research output: PhD ThesisPhD-Thesis - Research and graduation internal

    Open Access
    File
    34 Downloads (Pure)
  • Termination and Productivity

    Endrullis, J., 2010

    Research output: PhD ThesisPhD-Thesis - Research and graduation internal

    Open Access
    File
    47 Downloads (Pure)
  • 2006

    Bohm-Like Trees for Rewriting

    Ketema, J., 2006, Vrije Universiteit. 200 p.

    Research output: PhD ThesisPhD-Thesis - Research and graduation internal

    Open Access
    File
    19 Downloads (Pure)
  • 2005

    Relating Proof Systems for Recursive Types

    Grabmayer, C. A., 2005, Vrije Universiteit.

    Research output: PhD ThesisPhD-Thesis - Research and graduation internal

    Open Access
    File
    11 Downloads (Pure)
  • 2002

    Contexts in Lambda Calculus

    Bognar, M., 2002, Vrije Universiteit.

    Research output: PhD ThesisPhD-Thesis - Research and graduation internal

    Open Access
    File
    154 Downloads (Pure)