Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 10 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2008Visual programming with Interaction NetsHassan, Abubakar; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2001Combining interaction nets with externally defined programsFernández, Maribel; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2007Visual programming with recursion patterns in interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2007Visual programming with recursion patterns in interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelArtigo em ata de conferênciaAcesso aberto
2001Parallel evaluation of interaction nets with MPINEPinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Mai-2005Functional programming and program transformation with interaction netsMackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelRelatórioAcesso aberto
2008A tool for programming with interaction netsAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2008Token-passing nets for functional languagesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2007A higher-order calculus for graph transformationFernández, Maribel; Mackie, Ian; Pinto, Jorge SousaArtigoAcesso aberto
Ago-2002Encoding linear logic with interaction combinatorsMackie, Ian; Pinto, Jorge SousaArtigoAcesso aberto
  • Anterior
  • 1
  • Próxima