Searching for "Types for trees." – sorted by Relevance.
1,488 documents found, showing 1 through 10.
Next 10 →
-
Types for Trees
- …Types for Trees Franco Barbanera, Mariangiola Dezani-Ciancaglini Universita degli studi di Torino…
- Cited by 1 (1 self) – Add To MetaCart
-
Types for Trees
- …Types for Trees ? Steffen van Bakel a Franco Barbanera b Mariangiola Dezani-Ciancaglini b Fer…
- Add To MetaCart
-
Regular types, tree automata and model checking Proposed Lecture Topics for inclusion in Masters
- …Regular types, tree automata and model checking Proposed Lecture Topics for inclusion in Masters…
- Add To MetaCart
-
Optimal Display Adaptation of Iconic Document Visualizations via BFOS-type Tree Pruning
- …OPTIMAL DISPLAY ADAPTATION OF ICONIC DOCUMENT VISUALIZATIONS VIA BFOS-STYLE TREE PRUNING Kathrin…
- Cited by 1 (1 self) – Add To MetaCart
-
• Ontology matching
- … • Foundations of XML types (tree grammars, tree automata) • Tree logics (FO, MSO, µ-calculus) • A taste…
- Add To MetaCart
-
Intersection Types for λ-Trees
- …Intersection Types for -Trees Steffen van Bakel a ;? Franco Barbanera b ;? Mariangiola Dezani…
- Add To MetaCart
-
The paradox of trees in Type Theory
- …The paradox of trees in Type Theory Thierry Coquand INRIA, and University of Goteborg…
- Cited by 2 (0 self) – Add To MetaCart
-
Universality on Tree Automata of Moore Type
- …Universality on Tree Automata of Moore Type Eija Jurvanen Turku Centre for Computer Science…
- Add To MetaCart
-
Pattern distribution in various types of random trees
- … distribution in various types of random trees Gerard Kok 1 1 Institut für Diskrete Mathematik und Geometrie…
- Cited by 1 (1 self) – Add To MetaCart
-
Enumeration of binary trees and universal types
- … of Binary Trees and Universal Types Charles Knessl 1† and Wojciech Szpankowski 2‡ 1 Dept. Mathematics…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
