Idioma:

Higher-order algebra, logic, and term rewriting selected papers of the first international workshop on higher-order algebra, logic, and term rewriting, hoa'93, held in amsterdam, the netherlands, septemper 23-24, 1993

Workshop Oh Higher-Order Algebra, Logic, and TermRewriting (1. 1993 Amsterdam) Jan Heering; Karl Meinke

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.816 e.1 ) e outros locais(Acessar)

Título:
Higher-order algebra, logic, and term rewriting selected papers of the first international workshop on higher-order algebra, logic, and term rewriting, hoa'93, held in amsterdam, the netherlands, septemper 23-24, 1993
Autor: Workshop Oh Higher-Order Algebra, Logic, and TermRewriting (1. 1993 Amsterdam)
Jan Heering; Karl Meinke
Assuntos: TEORIA DA COMPUTAÇÃO
Notas Locais: [Ed] bernhard moller, tobias nipkow;Serie : lecture notes in computer science, 816
Editor: Berlin Springer
Data de criação/publicação: 1993
Formato: 344 p.
Idioma: Inglês

Links

Voltar para lista de resultados