Diffusion afp-devel bd16775e7ec6

metadata for HOL-CSP OpSem and sitegen
bd16775e7ec6
Actions

Tags

None

Subscribers

None

Description

metadata for HOL-CSP OpSem and sitegen

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP0439ba5a5778: new entry: HOL-CSP OpSem

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPbd16775e7ec6: metadata for HOL-CSP OpSem and sitegen.Mar 8 2024, 11:08 AM

Changes (37)

Path

Size

HOL-CSP_OpSem.toml

authors/

ballenghien/

wolff/

data/

HOL-CSP_OpSem.html

statistics/

topics/

computer-science/

concurrency/

process-calculi/

semantics-and-reasoning/

rAFPbd16775e7ec6

metadata/entries/HOL-CSP_OpSem.toml

Loading...

web/authors/ballenghien/index.html

Loading...

web/authors/ballenghien/index.xml

Loading...

web/authors/wolff/index.html

Loading...

web/authors/wolff/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/hol-cspm/index.html

Loading...

web/dependencies/hol-cspm/index.xml

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/entries/HOL-CSPM.html

Loading...

web/entries/HOL-CSP_OpSem.html

Loading...

web/entries/MiniSail.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/hol-csp_opsem/index.html

Loading...

web/sessions/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/topics/computer-science/concurrency/index.xml

Loading...

web/topics/computer-science/concurrency/process-calculi/index.html

Loading...

web/topics/computer-science/concurrency/process-calculi/index.xml

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...