Diffusion afp-devel 82b384db3a81

Quantales_Converse metadata
82b384db3a81
Actions

Tags

None

Subscribers

None

Description

Quantales_Converse metadata

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP10bdbeef2540: new entry Quantales_Converse

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP82b384db3a81: Quantales_Converse metadata.Aug 10 2023, 4:59 PM

Changes (48)

Path

Size

Quantales_Converse.toml

struth/

data/

dependencies/

kad/

kleene_algebra/

quantales/

Kleene_Algebra.html

Quantales_Converse.html

statistics/

quantales_converse

topics/

computer-science/

semantics-and-reasoning/

mathematics/

algebra/

order/

rAFP82b384db3a81

metadata/authors.toml

Loading...

metadata/entries/Quantales_Converse.toml

Loading...

web/authors/calk/index.html

Loading...

web/authors/calk/index.xml

Loading...

web/authors/index.html

Loading...

web/authors/index.json

Loading...

web/authors/struth/index.html

Loading...

web/authors/struth/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/index.html

Loading...

web/dependencies/kad/index.html

Loading...

web/dependencies/kad/index.xml

Loading...

web/dependencies/kleene_algebra/index.html

Loading...

web/dependencies/kleene_algebra/index.xml

Loading...

web/dependencies/quantales/index.html

Loading...

web/dependencies/quantales/index.xml

Loading...

web/entries/KAD.html

Loading...

web/entries/Kleene_Algebra.html

Loading...

web/entries/Quantales.html

Loading...

web/entries/Quantales_Converse.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/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/index.xml

Loading...

web/theories/quantales_converse/index.html

Loading...

web/topics/computer-science/index.html

Loading...

web/topics/computer-science/index.xml

Loading...

web/topics/computer-science/semantics-and-reasoning/index.html

Loading...

web/topics/computer-science/semantics-and-reasoning/index.xml

Loading...

web/topics/index.html

Loading...

web/topics/mathematics/algebra/index.html

Loading...

web/topics/mathematics/algebra/index.xml

Loading...

web/topics/mathematics/index.html

Loading...

web/topics/mathematics/index.xml

Loading...

web/topics/mathematics/order/index.html

Loading...

web/topics/mathematics/order/index.xml

Loading...