Diffusion afp-devel bbb083f81730

addd DOIs and other metadata links
bbb083f81730
Actions

Tags

None

Subscribers

None

Description

addd DOIs and other metadata links

Details

Provenance

Authored on

Parents

rAFP8468f9dbfd6d: added links

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPbbb083f81730: addd DOIs and other metadata links.Jul 22 2022, 9:23 PM

Changes (29)

Path

Size

metadata/

entries/

Approximation_Algorithms.toml

Closest_Pair_Points.toml

Gale_Shapley.toml

Hood_Melville_Queue.toml

Metalogic_ProofChecker.toml

Optimal_BST.toml

Pairing_Heap.toml

Real_Time_Deque.toml

Root_Balanced_Tree.toml

Weight_Balanced_Trees.toml

web/

data/

entries/

Approximation_Algorithms.html

Closest_Pair_Points.html

Gale_Shapley.html

Hood_Melville_Queue.html

InformationFlowSlicing.html

InformationFlowSlicing_Inter.html

Metalogic_ProofChecker.html

Monad_Memo_DP.html

Optimal_BST.html

Pairing_Heap.html

Real_Time_Deque.html

Root_Balanced_Tree.html

Simple_Firewall.html

UpDown_Scheme.html

Weight_Balanced_Trees.html

rAFPbbb083f81730

metadata/entries/Approximation_Algorithms.toml

Loading...

metadata/entries/Closest_Pair_Points.toml

Loading...

metadata/entries/Gale_Shapley.toml

Loading...

metadata/entries/Hood_Melville_Queue.toml

Loading...

metadata/entries/Metalogic_ProofChecker.toml

Loading...

metadata/entries/Optimal_BST.toml

Loading...

metadata/entries/Pairing_Heap.toml

Loading...

metadata/entries/Real_Time_Deque.toml

Loading...

metadata/entries/Root_Balanced_Tree.toml

Loading...

metadata/entries/Treaps.toml

Loading...

metadata/entries/Weight_Balanced_Trees.toml

Loading...

web/data/keywords.json

Loading...

web/entries/Approximation_Algorithms.html

Loading...

web/entries/Closest_Pair_Points.html

Loading...

web/entries/Gale_Shapley.html

Loading...

web/entries/Hood_Melville_Queue.html

Loading...

web/entries/InformationFlowSlicing.html

Loading...

web/entries/InformationFlowSlicing_Inter.html

Loading...

web/entries/Metalogic_ProofChecker.html

Loading...

web/entries/Monad_Memo_DP.html

Loading...

web/entries/Optimal_BST.html

Loading...

web/entries/Pairing_Heap.html

Loading...

web/entries/Real_Time_Deque.html

Loading...

web/entries/Root_Balanced_Tree.html

Loading...

web/entries/Simple_Firewall.html

Loading...

web/entries/Treaps.html

Loading...

web/entries/UpDown_Scheme.html

Loading...

web/entries/Weight_Balanced_Trees.html

Loading...

web/index.json

Loading...