https://pdmosses.github.io/software/agda-material/2026-01-01T00:00:00+00:00https://pdmosses.github.io/2026-01-01T00:00:00+00:00https://pdmosses.github.io/software/2026-01-01T00:00:00+00:00https://pdmosses.github.io/software/ds-in-agda/2024-10-25T00:00:00+00:00https://pdmosses.github.io/software/hyperlinked-twins/2024-01-14T00:00:00+00:00https://pdmosses.github.io/software/cbs-ide/2017-12-31T00:00:00+00:00https://pdmosses.github.io/software/just-the-docs/2016-12-31T00:00:00+00:00https://pdmosses.github.io/research/plancomps/2011-12-31T00:00:00+00:00https://pdmosses.github.io/research/2011-12-31T00:00:00+00:00https://pdmosses.github.io/research/cbs/2004-12-31T00:00:00+00:00https://pdmosses.github.io/software/msos-in-prolog/2004-12-31T00:00:00+00:00https://pdmosses.github.io/software/action-env/2002-12-31T00:00:00+00:00https://pdmosses.github.io/software/prolog-msos-tool/2002-12-31T00:00:00+00:00https://pdmosses.github.io/software/mat/2001-12-31T00:00:00+00:00https://pdmosses.github.io/research/msos/1999-12-31T00:00:00+00:00https://pdmosses.github.io/software/asd-tools/1996-12-31T00:00:00+00:00https://pdmosses.github.io/research/cofi/1995-12-31T00:00:00+00:00https://pdmosses.github.io/research/unified-algebras/1989-12-31T00:00:00+00:00https://pdmosses.github.io/research/action-semantics/1985-12-31T00:00:00+00:00https://pdmosses.github.io/software/sis/1981-12-31T00:00:00+00:00https://pdmosses.github.io/papers/binsbergen2019ecbs/https://pdmosses.github.io/papers/mosses2004msos/https://pdmosses.github.io/affiliations/https://pdmosses.github.io/meetings/https://pdmosses.github.io/papers/https://pdmosses.github.io/publications/