×

Found 18 Software Packages (Results 1–18)

CSI

Software Authors:   Zankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart
Referenced 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)

CAESAR_SOLVE

Software Authors:   Radu Mateescu
Referenced in: 10 Publications (2006–2015)
Related Software: CADP; SPIN; Exp.Open; E-LOTOS; NuSMV; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Saigawa

Software Authors:   Hirokawa, N., Klein, D.
Referenced in: 9 Publications (2013–2019)
Related Software: CSI; Tyrolean; CoCoWeb; CiME; CoLoR; CeTA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Conditional Confluence

Software Authors:   Sternagel, Thomas; Middeldorp, Aart
Referenced in: 8 Publications (2014–2020)
Related Software: AProVE; Maude; Mace4; Prover9; Saigawa; CSI; …
Main Fields: Computer science (68-XX)

Ctrl

Software Authors:   Kop, Cynthia; Nishida, Naoki
Referenced in: 7 Publications (2014–2021)
Related Software: KITTeL; z3; TcT; Maude; Yices; ARMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CoCoWeb

Software Authors:   Hirokawa, Nao; Nagele, Julian; Middeldorp, Aart
Referenced in: 5 Publications (2018–2021)
Related Software: Cops; Maude; OBJ3; Haskell; CO3; StarExec; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CoLL

Software Authors:   Shintani, Kiraku; Hirokawa, Nao
Referenced in: 5 Publications (2015–2018)
Related Software: CSI; Isabelle/HOL; CeTA; FORT; Diophantine; Isabelle/Isar; …
Main Fields: Computer science (68-XX)

Lolliproc

Software Authors:   Mazurak, Karl; Zdancewic, Steve
Referenced in: 5 Publications (2010–2016)
Related Software: VeriML; ReCaml; Haskell; F*
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

QuodLibet

Software Authors:   Wirth, Claus-Peter
Referenced 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)

TenRes

Software Authors:   Hossein Poor, Jamal; Raab, Clemens G.; Regensburger, Georg
Referenced in: 5 Publications (2016–2020)
Related Software: Mathematica; OreModules; Maple; Plural
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Operator theory (47-XX)

Cops

Software Authors:   Hirokawa, Nao; Nagele, Julian; Middeldorp, Aart
Referenced in: 4 Publications (2018–2021)
Related Software: CoCoWeb; Maude; OBJ3; Haskell; CO3; StarExec; …
Main Fields: Computer science (68-XX)

SCOOP

Software Authors:   Mark Timmer
Referenced in: 4 Publications (2012–2017)
Related Software: CADP; PRISM; MAMA
Main Fields: Computer science (68-XX)

CO3

Software Authors:   Nishida, N., Kuroda, T., Yanagisawa, M., Gmeiner, K.
Referenced in: 3 Publications (2018–2021)
Related Software: Cops; CoCoWeb; MTT; Maude; OBJ3; Haskell; …
Main Fields: Computer science (68-XX)

ConCon

Software Authors:   T. Sternagel, C. Sternagel
Referenced in: 3 Publications (2015–2017)
Related Software: Isabelle/HOL; AProVE; Nagoya Termination Tool; Matchbox; CoLoR; CSI; …
Main Fields: Computer science (68-XX)

CoqMTU

Software Authors:   Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang
Referenced in: 3 Publications (2013–2017)
Related Software: Coq; CoqMT; Coquet; PREVAIL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

FORT

Software Authors:   Rapp, Franziska; Middeldorp, Aart
Referenced in: 2 Publications (2018–2021)
Related Software: Cops; CoCoWeb; AProVE; Maude; OBJ3; Haskell; …
Main Fields: Computer science (68-XX)

MStaT

Software Authors:   Lucas Dominguez Ruben, Kensuke Naito, Ronald Roger Gutierrez, Ricardo Szupiany, Jorge Darwin Abad
Referenced in: 0 Publications
Related Software: Bedforms-ATM; RVR Meander; SCREAM; PyRIS; Matlab; RivWidthCloud; …
Main Fields:

SOL

Software Authors:   Hamana, Makoto
Referenced in: 1 Publication (2019)
Related Software: GHC; Maude; CafeOBJ; OBJ3
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)