Diffusion afp-devel 1d26ed7d793d

New entry [Rewrite_Properties_Reduction]
1d26ed7d793d
Actions

Tags

None

Subscribers

None

Description

New entry [Rewrite_Properties_Reduction]

Details

Provenance

Authored on

Parents

rAFP542c926013d7: Fixed broken LaTeX in the abstract

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP1d26ed7d793d: New entry [Rewrite_Properties_Reduction].Jun 6 2022, 8:52 AM

Changes (27)

Path

Size

metadata/

Rewrite_Properties_Reduction

Ground_Reduction_on_GTRS.thy

Ground_Reduction_on_LLRG.thy

Ground_Reduction_on_LV.thy

Replace_Constant.thy

Rewriting_GTRS.thy

Rewriting_LLRG_LV_Mondaic.thy

Rewriting_Properties.thy

Terms_Positions.thy

Regular_Tree_Relations.html

Rewrite_Properties_Reduction.html

statistics.html

rAFP1d26ed7d793d

metadata/metadata

Loading...

thys/ROOTS

Loading...

thys/Rewrite_Properties_Reduction/Ground_Reduction_on_GTRS.thy

Loading...

thys/Rewrite_Properties_Reduction/Ground_Reduction_on_LLRG.thy

Loading...

thys/Rewrite_Properties_Reduction/Ground_Reduction_on_LV.thy

Loading...

thys/Rewrite_Properties_Reduction/ROOT

Loading...

thys/Rewrite_Properties_Reduction/Rewriting/Replace_Constant.thy

Loading...

thys/Rewrite_Properties_Reduction/Rewriting/Rewriting.thy

Loading...

thys/Rewrite_Properties_Reduction/Rewriting/Rewriting_GTRS.thy

Loading...

thys/Rewrite_Properties_Reduction/Rewriting/Rewriting_LLRG_LV_Mondaic.thy

Loading...

thys/Rewrite_Properties_Reduction/Rewriting/Rewriting_Properties.thy

Loading...

thys/Rewrite_Properties_Reduction/Util/Terms_Positions.thy

Loading...

thys/Rewrite_Properties_Reduction/document/root.bib

Loading...

thys/Rewrite_Properties_Reduction/document/root.tex

Loading...

web/entries/Regular_Tree_Relations.html

Loading...

web/entries/Rewrite_Properties_Reduction.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...