Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Preserving confluence for rewrite systems with built-in operationsBündgen, ReinhardConditional and Typed Rewriting Systems, 1995, p.71-88 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |