Diffusion afp-devel cd4388702c9b

New entry Knuth_Bendix_Order
cd4388702c9b
Actions

Tags

None

Subscribers

None

Description

New entry Knuth_Bendix_Order

Details

Provenance

Authored on

Parents

rAFP2fb9e44335af: merge

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPcd4388702c9b: New entry Knuth_Bendix_Order.May 15 2020, 4:37 PM

Changes (37)

Path

Size

metadata/

Knuth_Bendix_Order

Lexicographic_Extension.thy

Subterm_and_Context.thy

Abstract-Rewriting.html

Certification_Monads.html

Diophantine_Eqns_Lin_Hom.html

Efficient-Mergesort.html

First_Order_Terms.html

HOLCF-Prelude.html

Imperative_Insertion_Sort.html

Knuth_Bendix_Order.html

Open_Induction.html

Polynomial_Factorization.html

Polynomials.html

Rewriting_Z.html

Transitive-Closure.html

Well_Quasi_Orders.html

statistics.html

rAFPcd4388702c9b

metadata/metadata

Loading...

thys/Knuth_Bendix_Order/KBO.thy

Loading...

thys/Knuth_Bendix_Order/Lexicographic_Extension.thy

Loading...

thys/Knuth_Bendix_Order/Order_Pair.thy

Loading...

thys/Knuth_Bendix_Order/ROOT

Loading...

thys/Knuth_Bendix_Order/Subterm_and_Context.thy

Loading...

thys/Knuth_Bendix_Order/Term_Aux.thy

Loading...

thys/Knuth_Bendix_Order/document/root.bib

Loading...

thys/Knuth_Bendix_Order/document/root.tex

Loading...

thys/ROOTS

Loading...

web/entries/Abstract-Rewriting.html

Loading...

web/entries/Certification_Monads.html

Loading...

web/entries/Deriving.html

Loading...

web/entries/Diophantine_Eqns_Lin_Hom.html

Loading...

web/entries/Efficient-Mergesort.html

Loading...

web/entries/First_Order_Terms.html

Loading...

web/entries/HOLCF-Prelude.html

Loading...

web/entries/Imperative_Insertion_Sort.html

Loading...

web/entries/Knuth_Bendix_Order.html

Loading...

web/entries/Matrix.html

Loading...

web/entries/Open_Induction.html

Loading...

web/entries/Polynomial_Factorization.html

Loading...

web/entries/Polynomials.html

Loading...

web/entries/Rewriting_Z.html

Loading...

web/entries/Show.html

Loading...

web/entries/Transitive-Closure.html

Loading...

web/entries/Well_Quasi_Orders.html

Loading...

web/entries/XML.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...