Publicações

A New Translation Algorithm from Lambda Calculus into Combinatory Logic

AuthID
P-008-WVX

Author(s)

Broda, S

Damas, L

Editor(es)

Carlos A. Pinto-Ferreira; Nuno J. Mamede

Tipo de Documento

Proceedings Paper

Year published

1995

Publicado

in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 990, Páginas: 359-370

Conference

7Th Portuguese Conference on Artificial Intelligence, Epia 1995, Date: 3 October 1995 through 6 October 1995

Indexing

Scopus^®

Dblp^®/pt/publications/view/291709

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/3-540-60428-6_30

DBLP: conf/epia/BrodaD95

SCOPUS: 2-s2.0-84955568149

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

A New Translation Algorithm from Lambda Calculus into Combinatory Logic

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

A New Translation Algorithm from Lambda Calculus into Combinatory Logic

Links Úteis

Ajuda