ELAN Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Cited in: 105 Publications (1996–2020) Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
REVE Software Authors: Pierre Lescanne Cited in: 67 Publications (1984–2018) Related Software: RRL; AProVE; Tyrolean; CiME; Coq; NQTHM; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)
CeTA Software Authors: Thiemann, René; Sternagel, Christian Cited in: 46 Publications (2009–2021) Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; CoLoR; AProVE; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX)
K Prover Software Authors: Roşu, Grigore et.al Cited in: 46 Publications (2007–2022) Related Software: Maude; K tool; z3; MMT; JavaFAN; K-Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-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: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-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: Mathematical logic and foundations (03-XX); Computer science (68-XX)
K tool Software Authors: David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu Cited in: 17 Publications (2010–2022) Related Software: K Prover; Maude; PLT Redex; z3; K-Maude; MMT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Jambox Software Authors: Endrullis, J Cited in: 15 Publications (2006–2021) Related Software: AProVE; Tyrolean; MU-TERM; Maude; Haskell; Matchbox; … Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)
A3PAT Software Authors: Contejean, E., Paskevich, A., Urbain, X., Courtieu, P., Pons, O., Forest, J. Cited in: 8 Publications (2010–2017) Related Software: CoLoR; CeTA; Isabelle/HOL; Coq; AProVE; Tyrolean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Autowrite Software Authors: Durand, Irene Cited in: 8 Publications (2002–2014) Related Software: MONA; Datalog; Treewidthlib; CPLEX; McCLIM; Timbuk Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); 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: Computer science (68-XX)
VMTL Software Authors: Schernhammer, F.; Gramlich, B. Cited in: 7 Publications (2010–2017) Related Software: AProVE; Maude; MU-TERM; Jambox; MTT; Tyrolean; … Main Fields: Computer science (68-XX)
IsaFoR Software Authors: Krauss, Alexander; Sternagel, Christian; Thiemann, René; Fuhs, Carsten; Giesl, Jürgen Cited in: 4 Publications (2011–2016) Related Software: Isabelle/HOL; CeTA; CoLoR; Isabelle; Coq; Tyrolean; … Main Fields: Computer science (68-XX)
NaTT Software Authors: Yamada, Akihisa Cited in: 6 Publications (2014–2022) Related Software: Nagoya Termination Tool; Tyrolean; MU-TERM; AProVE; z3; CoLoR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
QuodLibet Software Authors: Wirth, Claus-Peter Cited in: 4 Publications (2000–2012) Related Software: NQTHM; Oyster; CLAM; Lambda-Clam; Waldmeister; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CRSX Software Authors: Rose, K.H.; IBM Cited in: 3 Publications (2009–2011) Related Software: Automath; Nominal Isabelle; PoplMark; Abella; Twelf; XQuery; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CO3 Software Authors: Nishida, N., Kuroda, T., Yanagisawa, M., Gmeiner, K. Cited in: 3 Publications (2018–2021) Related Software: Cops; CoCoWeb; MTT; Maude; OBJ3; Haskell; … Main Fields: Computer science (68-XX)
Cdiprover3 Software Authors: Andreas Schnabl Cited in: 0 Publications Related Software: – Main Fields: –
Metatheory.jl Software Authors: Alessandro Cheli Cited in: 0 Publications Related Software: MatchCore.jl; MLStyle.jl; egg; RuntimeGeneratedFunctions.jl; Julia Main Fields: –
PaReDuX Software Authors: Bündgen, Reinhard; Göbel, Manfred; Küchlin, Wolfgang; Weber, Andreas Cited in: 1 Publication (1998) Related Software: – Main Fields: Computer science (68-XX)
StrataGEM Software Authors: López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier Cited in: 0 Publications Related Software: BEEM; Tom; libDDD; SPIN; ELAN Main Fields: Computer science (68-XX)