Diffusion afp-devel 7c00f83aacff

New entry Multiset_Ordering_NPC
7c00f83aacff
Actions

Tags

None

Subscribers

None

Description

New entry Multiset_Ordering_NPC

Details

Provenance

Authored on

Parents

rAFP0f61fdaf00bf: sitegen for Frequence_Moments

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP7c00f83aacff: New entry Multiset_Ordering_NPC.Apr 22 2022, 11:27 AM

Changes (21)

Path

Size

metadata/

Multiset_Ordering_NPC

Multiset_Ordering_More.thy

Multiset_Ordering_NP_Hard.thy

Multiset_Ordering_in_NP.thy

Propositional_Formula.thy

RPO_NP_Hard.thy

Multiset_Ordering_NPC.html

Weighted_Path_Order.html

statistics.html

rAFP7c00f83aacff

metadata/metadata

Loading...

thys/Multiset_Ordering_NPC/Multiset_Ordering_More.thy

Loading...

thys/Multiset_Ordering_NPC/Multiset_Ordering_NP_Hard.thy

Loading...

thys/Multiset_Ordering_NPC/Multiset_Ordering_in_NP.thy

Loading...

thys/Multiset_Ordering_NPC/Propositional_Formula.thy

Loading...

thys/Multiset_Ordering_NPC/ROOT

Loading...

thys/Multiset_Ordering_NPC/RPO_NP_Hard.thy

Loading...

thys/Multiset_Ordering_NPC/document/root.bib

Loading...

thys/Multiset_Ordering_NPC/document/root.tex

Loading...

thys/ROOTS

Loading...

web/entries/Multiset_Ordering_NPC.html

Loading...

web/entries/Weighted_Path_Order.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...