Diffusion afp-devel bc0ffc4d5ee2

New entry: Nominal_Myhill_Nerode
bc0ffc4d5ee2
Actions

Tags

None

Subscribers

None

Description

New entry: Nominal_Myhill_Nerode

Details

Provenance

Authored on

Parents

rAFPb77bacbb9f37: more doc;

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPbc0ffc4d5ee2: New entry: Nominal_Myhill_Nerode.Nov 16 2023, 4:20 PM

Changes (42)

Path

Size

Nominal_Myhill_Nerode.toml

Nominal_Myhill_Nerode

Nominal_Myhill_Nerode.thy

data/

Approximation_Algorithms.html

Finite_Automata_HF.html

Hypergraph_Colourings.html

Myhill-Nerode.html

Nominal_Myhill_Nerode.html

Twelvefold_Way.html

nominal_myhill_nerode

statistics/

topics/

computer-science/

automata-and-formal-languages/

rAFPbc0ffc4d5ee2

metadata/authors.toml

Loading...

metadata/entries/Nominal_Myhill_Nerode.toml

Loading...

thys/Nominal_Myhill_Nerode/Nominal_Myhill_Nerode.thy

Loading...

thys/Nominal_Myhill_Nerode/ROOT

Loading...

thys/Nominal_Myhill_Nerode/document/root.bib

Loading...

thys/Nominal_Myhill_Nerode/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/index.html

Loading...

web/authors/index.json

Loading...

web/authors/lameris/index.html

Loading...

web/authors/lameris/index.xml

Loading...

web/data/keywords.json

Loading...

web/entries/Approximation_Algorithms.html

Loading...

web/entries/Finite_Automata_HF.html

Loading...

web/entries/Hypergraph_Colourings.html

Loading...

web/entries/Myhill-Nerode.html

Loading...

web/entries/Nominal_Myhill_Nerode.html

Loading...

web/entries/Twelvefold_Way.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sessions/index.xml

Loading...

web/sessions/nominal_myhill_nerode/index.html

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/topics/computer-science/automata-and-formal-languages/index.html

Loading...

web/topics/computer-science/automata-and-formal-languages/index.xml

Loading...

web/topics/computer-science/index.xml

Loading...

web/topics/index.html

Loading...