Saltar para o conteúdo principal

Retrato do autor

Manuel Clavel

Autor(a) de Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications

2 Works 4 Membros 0 Críticas

Obras por Manuel Clavel

Popular Recente

Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (2000) 2 exemplares

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic… (2007) 2 exemplares

Etiquetado

2009 (2) @copied (1) @goog (1) @oh (1) Ciência da computação (2) CS (2) Lógica (1) Maude (2) Reescrita (1) Tese (1)

Tradução de etiquetas em curso

Conhecimento Comum

There is no Common Knowledge data for this author yet. You can help.

Membros

Estatísticas

Obras: 2
Membros: 4
Popularidade: #1,536,815
Avaliação: ½ 3.7

ISBN: 4

Fotografias

Galeria de Autores

Ligações

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Is This You?

Torne-se num Autor LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Este sítio web usa «cookies» para fornecer os seus serviços, para melhorar o desempenho, para analítica e (se não estiver autenticado) para publicidade. Ao usar o LibraryThing está a reconhecer que leu e compreende os nossos Termos de Serviço e Política de Privacidade. A sua utilização deste sítio e serviços está sujeita a essas políticas e termos.