Mostrando 1 - 2 resultados de 2 para a busca 'C. -H. Luke Ong', tempo de busca: 0.02s Refinar Resultados
  1. 1
    The Safe Lambda Calculus

    The Safe Lambda Calculus por William Blum, C. -H. Luke Ong

    Publicado em 2009-02-01
    Obter o texto integral
    Artigo
  2. 2
    Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

    Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems por Matthew Hague, C. -H. Luke Ong

    Publicado em 2008-12-01
    Obter o texto integral
    Artigo

Ferramentas de busca: