CLEAN Software Authors: Plasmeijer, M.J. Cited in: 55 Publications (1987–2016) Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; … Main Fields: (68Q55-XX); (68N15-XX)
Timbuk Software Authors: Thomas Genet; Yohan Boichut; Benoît Boyer; Valérie Viet Triem Tong; .. Cited in: 47 Publications (2001–2020) Related Software: Maude; AVISPA; Isabelle; ELAN; Isabelle/HOL; OCaml; … Main Fields: –
ATERM Software Authors: Moreau, Pierre-Etienne; Zendra, Olivier Cited in: 41 Publications (2000–2011) Related Software: Stratego; ELAN; Maude; ASF+SDF; CASL; CoFI; … Main Fields: (68Q42-XX); (68W05-XX)
CSI Software Authors: Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart Cited in: 22 Publications (2011–2021) Related Software: Saigawa; CeTA; Tyrolean; CiME; Isabelle/HOL; Isabelle; … Main Fields: (68T15-XX); (03B35-XX)
TXL Software Authors: Cordy, James R. Cited in: 13 Publications (2005–2022) Related Software: Stratego; ASF+SDF; JastAdd; ANTLR; Haskell; Tom; … Main Fields: Computer science (68-XX)
Conditional Confluence Software Authors: Sternagel, Thomas; Middeldorp, Aart Cited in: 8 Publications (2014–2020) Related Software: AProVE; Maude; Mace4; Prover9; Saigawa; CSI; … Main Fields: (03B40-XX); (68N18-XX); (68Q42-XX)
mkbTT Software Authors: Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito Cited in: 6 Publications (2008–2015) Related Software: Slothrop; Tyrolean; KBCV; REVE; AProVE; TPTP; … Main Fields: (68T15-XX); (68Q42-XX)
MONSTR Software Authors: Banach, R. Cited in: 5 Publications (1995–1998) Related Software: DACTL Main Fields: (68Q42-XX)
QuodLibet Software Authors: Wirth, Claus-Peter Cited in: 4 Publications (2000–2012) Related Software: NQTHM; Oyster; CLAM; Lambda-Clam; Waldmeister; VAMPIRE; … Main Fields: (68Q42-XX)
Cadmium Software Authors: Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J. Cited in: 4 Publications (2008–2017) Related Software: MiniZinc; Gecode; G12; MiniSat; MINION; Sugar; … Main Fields: Computer science (68-XX)
KBCV Software Authors: Sternagel, Thomas; Zankl, Harald Cited in: 3 Publications (2011–2015) Related Software: mkbTT; CeTA; Slothrop; Archive Formal Proofs; Well Quasi Orders; Isabelle/HOL; … Main Fields: (68Q42-XX); (68T15-XX)
MEMSALab Software Authors: Belkhir, Walid; Giorgetti, Alain; Lenczner, Michel Cited in: 2 Publications (2014–2022) Related Software: CoReS; Tom; Maple Main Fields: (68W30-XX)
ProTeM Software Authors: Kohl, Christina; Middeldorp, Aart Cited in: 2 Publications (2018–2019) Related Software: TPDB Main Fields: (03B35-XX); (68V15-XX)
Anagopos Software Authors: Bugge Grathwohl, Niels Bjørn; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue Cited in: 1 Publication (2011) Related Software: TILC; Tulip; Graphviz Main Fields: (68Q42-XX); (68R10-XX)
PaReDuX Software Authors: Bündgen, Reinhard; Göbel, Manfred; Küchlin, Wolfgang; Weber, Andreas Cited in: 1 Publication (1998) Related Software: – Main Fields: (68Q42-XX)
term-rewriting Software Authors: Bertram Felgenhauer; Martin Avanzini; Christian Sternagel Cited in: 0 Publications Related Software: Haskell; Matchbox; MU-TERM; CeTA; Isabelle/HOL Main Fields: –