|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 68 | Paul Tarau |
An embedded declarative data transformation language.  |
PPDP  |
2009 |
DBLP DOI BibTeX RDF |
computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph |
| 40 | Paul Tarau |
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
Ackermann encoding, Haskell data representations, computational mathematics, hereditarily finite functions, hereditarily finite sets, ranking/unranking |
| 40 | Paul Tarau |
A Groupoid of Isomorphic Data Transformations. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
computational mathematics in Haskell, data type transformations, ranking/unranking, Gödel numberings, higher order combinators, hylomorphisms |
| 34 | Ro-Yu Wu, Cheng-Chia Tseng, Ling-Ju Hung, Jou-Ming Chang |
Generating Spanning-Tree Sequences of a Fan Graph in Lexicographic Order and Ranking/Unranking Algorithms. |
ISCO |
2022 |
DBLP DOI BibTeX RDF |
|
| 34 | Paul Tarau |
Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices. |
CICM |
2015 |
DBLP DOI BibTeX RDF |
|
| 34 | Romeo Rizzi, Alexandru I. Tomescu |
Ranking, unranking and random generation of extensional acyclic digraphs. |
Inf. Process. Lett. |
2013 |
DBLP DOI BibTeX RDF |
|
| 34 | Bang Ye Wu, Chuan Yi Tang |
Ranking Unranking and Parallel Enumerating of Topological Orders. |
ICPP (3) |
1991 |
DBLP BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license