Resultados da busca por Autor

Exportar CSV

1

Encoding linear logic with interaction combinators

por Mackie, Ian

Publicado em 2002

Acessar documento

Artigo

2

Visual programming with recursion patterns in interaction nets

por Mackie, Ian

Publicado em 2007

Acessar documento

Artigo

3

Functional programming and program transformation with interaction nets

por Mackie, Ian

Publicado em 2005

Acessar documento

Relatório

4

A higher-order calculus for graph transformation

por Fernández, Maribel

Publicado em 2007

Outros Autores: “...Mackie, Ian...”
Acessar documento

Artigo

5

Purification and characterisation of trypsin-like enzyme from the pyloric caeca of cod (Gadus morhua) II

por Beirão,Luiz Henrique

Publicado em 2001

Outros Autores: “...Mackie,Ian Mckintoch...”
Acessar documento

Artigo

Exportar CSV