Found 4 Software Packages (Results 1–4)


Software Authors:   Bauer, Andrej; Pretnar, Matija
Cited in: 22 Publications (2013–2021)
Related Software: Koka; Haskell; GitHub; ML; Coq; Links; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)


Software Authors:   Schack-Nielsen, Anders; Sch├╝rmann, Carsten
Cited in: 2 Publications (2008–2018)
Related Software: Twelf
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)


Software Authors:   Simon Wimmer, Shuwei Hu,Tobias Nipkow
Cited in: 1 Publication (2018)
Related Software: VerifyThis; Isabelle/HOL; Coq
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Transformer semantics

Software Authors:   Georg Struth
Cited in: 1 Publication (2022)
Related Software: Quantales; KeYmaera X; Differential_Game_Logic; KAD; Algebraic_VCs; Kleene Algebra; …
Main Fields: Computer science (68-XX)