- Publicações
- Pesquisar
- Estatísticas
On Principal Types of Bck-Lambda-Terms
AuthID
P-004-DV9
P-004-DV9
Tipo de Documento
Proceedings Paper
Year published
2007
Publicado
in Logic, Language, Information and Computation, Proceedings in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4576, Páginas: 120-130 (11)
Conference
14Th International Workshop on Logic, Language, Information and Computation, Date: JUL 02-05, 2007, Location: Rio de Janeiro, BRAZIL, Patrocinadores: Assoc Symbol Logic, Interest Grp Pure & Appl Log, European Assoc Log, Language & Informat, European Assoc Theoret Comp Sci, Soc Brasileira Computacao, Soc Brasileira Loc
Publication Identifiers
DBLP: conf/wollic/BrodaD07
SCOPUS: 2-s2.0-38149041636
Wos: WOS:000247863700009
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Publication Export Settings
Lista Marked
Info
At this moment we don't have any links to full text documens.