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)