×

Found 31 Software Packages (Results 1–31)

MiniML

Software Authors:   Davies, Rowan; Pfenning, Frank
Cited in: 49 Publications (2000–2021)
Related Software: Coq; ML; Haskell; Pesca; Links; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

leanCoP

Software Authors:   Jens Otten
Cited in: 36 Publications (2001–2022)
Related Software: ileanCoP; TPTP; VAMPIRE; E Theorem Prover; MaLeCoP; FEMaLeCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ileanCoP

Software Authors:   Otten, Jens
Cited in: 31 Publications (2005–2022)
Related Software: leanCoP; TPTP; E Theorem Prover; VAMPIRE; ILTP; MaLeCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ILTP

Software Authors:   Thomas Raths; Jens Otten
Cited in: 29 Publications (2005–2021)
Related Software: TPTP; ileanCoP; Imogen; leanCoP; fCube; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Teyjus

Software Authors:   Nadathur, G., Mitchell, D.J.
Cited in: 17 Publications (2001–2022)
Related Software: Twelf; Abella; Isabelle/HOL; Coq; Beluga; ELPI; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MetTeL

Software Authors:   Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad
Cited in: 15 Publications (2011–2021)
Related Software: LoTREC; KL-ONE; Gen2sat; MSPASS; E Theorem Prover; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

STRIP

Software Authors:   Larchey-Wendling, D.; M'ery, D.; Galmiche, Didier
Cited in: 15 Publications (1999–2016)
Related Software: ILTP; ileanCoP; Imogen; LoTREC; OTTER; JProver; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Lilac

Software Authors:   Ian Mackie
Cited in: 14 Publications (1993–2021)
Related Software: GitHub; Lincx; Agda; Lolli; ML; Automath; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Imogen

Software Authors:   Sean McLaughlin; Frank Pfenning
Cited in: 11 Publications (2008–2019)
Related Software: ILTP; fCube; IntHistGC; ileanCoP; LoTREC; STRIP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

fCube

Software Authors:   Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Cited in: 10 Publications (2010–2022)
Related Software: ILTP; Imogen; IntHistGC; JTabWb; DeReS; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LMNtal

Software Authors:   Ueda, Kazunori
Cited in: 8 Publications (2005–2013)
Related Software: GHC; Janus; tccp; Esterel; CC-Pi; Oz; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

intuit

Software Authors:   Claessen, Koen; Rosén, Dan
Cited in: 5 Publications (2015–2021)
Related Software: ILTP; BDDTab; InKreSAT; Coq; Gen2sat; GoedelGod; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Lolliproc

Software Authors:   Mazurak, Karl; Zdancewic, Steve
Cited 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)

MOIN

Software Authors:   Girlando, Marianna; Straßburger, Lutz
Cited in: 4 Publications (2020–2022)
Related Software: TABLEAUX; MiniML; QMLTP; LoTREC; MleanCoP; Leo-III; …
Main Fields: Computer science (68-XX)

ILLTP

Software Authors:   Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle
Cited in: 3 Publications (2019–2021)
Related Software: Lolli; z3; DeepProbLog; OEIS; Haskell; Sympli; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

IntHistGC

Software Authors:   Goré, Rajeev; Thomson, Jimmy; Wu, Jesse
Cited in: 3 Publications (2014–2019)
Related Software: ILTP; Imogen; fCube; TABLEAUX; ileanCoP; LoTREC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PITP

Software Authors:   Avellone, Alessandro; Fiorino, Guido; Moscato, Ugo
Cited in: 3 Publications (2007–2008)
Related Software: ILTP; Nuprl; Coq
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

JTabWb

Software Authors:   Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Cited in: 2 Publications (2017–2019)
Related Software: Imogen; fCube; ILTP; intuit; IntHistGC; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Lincx

Software Authors:   Georges, Aina Linn; Murawska, Agata; Otis, Shawn; Pientka, Brigitte
Cited in: 2 Publications (2017–2021)
Related Software: GitHub; Agda; Lilac; Charge!; Twelf; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SKIL

Software Authors:   Galmiche, D.; Hermann, O.
Cited in: 2 Publications (1993–2000)
Related Software: LEGO; Automath; Lolli; Jape; Cambridge LCF; Elf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Slakje

Software Authors:   Ebner, Gabriel
Cited in: 2 Publications (2019–2021)
Related Software: GAPT; leanCoP; TPTP; ILTP; nanoCoP; MleanCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BDDIntKt

Software Authors:   Goré, Rajeev; Thomson, Jimmy
Cited in: 1 Publication (2013)
Related Software: Imogen; fCube; BuDDy; ILTP
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CatTheo

Software Authors:   Ekici B.
Cited in: 1 Publication (2022)
Related Software: Coq
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

DiaLog

Software Authors:   Ehrensberger, Jürgen; Zinn, Claus
Cited in: 1 Publication (1997)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Djinn

Software Authors:   Augustsson, L.
Cited in: 1 Publication (2018)
Related Software: Gen-O-Fix; GenProg; Apache Spark; Agda; Hadoop; Scala
Main Fields: Computer science (68-XX)

Fuzzy sets for Ada

Software Authors:   Dmitry A. Kazakov
Cited in: 1 Publication (2003)
Related Software: Interval arithmetic for Ada
Main Fields: Computer science (68-XX)

LambdaMu-calculus

Software Authors:   Cristina Matache; Victor B. F. Gomes; Dominic P. Mulligan
Cited in: 1 Publication (2021)
Related Software: K Prover; Archive Formal Proofs; GitHub; KJS; K-Java; K-Maude; …
Main Fields: Computer science (68-XX)

LinearOne

Software Authors:   Richard Moot
Cited in: 1 Publication (2019)
Related Software: GitHub; CatLog3; Grail
Main Fields: Mathematical logic and foundations (03-XX)

Paraconsistency

Software Authors:   Anders Schlichtkrull; Jørgen Villadsen
Cited in: 1 Publication (2018)
Related Software: FOL_Harrison; Propositional Resolution; Incredible Proof Machine; Abstract Soundness; Verified Prover; Lambda Free RPOs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TILT

Software Authors:   Bittel, Oliver
Cited in: 1 Publication (1991)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)