Naše aplikácie

# Prirodzená operačná sémantika

https://spj.kpi.fei.tuke.sk/ns/

# Štrukturálna operačná sémantika

https://spj.kpi.fei.tuke.sk/sos/

# Abstraktná implementácia jazyka

https://spj.kpi.fei.tuke.sk/am/

# Denotačná sémantika

https://spj.kpi.fei.tuke.sk/ds/

# Koalgebraická sémantika

https://spj.kpi.fei.tuke.sk/ks/