×

Found 3 Software Packages (Results 1–3)

ITP

Software Authors:   Clavel, M.; Palomino, M.; Riesco, A.
Referenced in: 29 Publications (2005–2020)
Related Software: Maude; SCC; CafeOBJ; OBJ3; PMaude; MTT; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

DDebugger

Software Authors:   Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
Referenced in: 11 Publications (2009–2017)
Related Software: Maude; Anima; Web-TLR; iJulienne; QuickCheck; Elf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BMaude

Software Authors:   Meseguer, José; Roşu, Grigore
Referenced in: 2 Publications (2002–2004)
Related Software: Maude; CafeOBJ; OBJ3
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)