Rank 2 Intersection for Recursive Definitions.
| Autor: | Damiani, Ferruccio1 damiani@di.unito.it |
|---|---|
| Zdroj: | Fundamenta Informaticae. 2007, Vol. 77 Issue 4, p451-488. 38p. 6 Diagrams, 2 Charts. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Damiani, Ferruccio1 damiani@di.unito.it |
|---|---|
| Zdroj: | Fundamenta Informaticae. 2007, Vol. 77 Issue 4, p451-488. 38p. 6 Diagrams, 2 Charts. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|