Datalog Cited in 282 Documents (1978–2022) Software Authors: Ceri, S., Gottlob, G., Tanca, L Related Software: ASSAT; Gringo; Clingo; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
Smodels Cited in 229 Documents (1999–2022) Software Authors: Niemelä, Ilkka; Simons, P; Syrjänen, Tommi Related Software: ASSAT; Cmodels; XSB; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
ASSAT Cited in 170 Documents (2003–2022) Software Authors: Yuting Zhao Related Software: Cmodels; Smodels; clasp; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
ETPS Cited in 161 Documents (1986–2022) Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Related Software: TPS; Isabelle/HOL; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
CESAR Cited in 153 Documents (1982–2023) Software Authors: Queille, J.P.; Sifakis, J. Related Software: SPIN; SLAM; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
LCF Cited in 159 Documents (1972–2023) Software Authors: Milner, Robin Related Software: ML; Coq; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX); …
OBJ3 Cited in 139 Documents (1989–2022) Software Authors: J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry) Related Software: Maude; CafeOBJ; CASL; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX); …
VeriFast Cited in 71 Documents (2009–2023) Software Authors: Bart Jacobs; Jan Smans; Frank Piessens Related Software: Dafny; Boogie; z3; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Cmodels Cited in 68 Documents (2004–2022) Software Authors: Yulia Lierler Related Software: ASSAT; Smodels; Gringo; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
Mercury Cited in 70 Documents (1994–2022) Software Authors: mercurylang.org Related Software: ECCE; Haskell; DPPD; … Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Statistics (62-XX); …
Kiva-2 Cited in 67 Documents (1987–2022) Software Authors: Amsden, A. A.; Orourke, P. J.; Butler, T. D. Related Software: KIVA-4; ODEPACK; Matlab; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
Jason Cited in 47 Documents (1977–2023) Software Authors: Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael Related Software: AgentSpeak; Jadex; 2APL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
KeYmaera Cited in 53 Documents (2008–2022) Software Authors: Platzer, André; Quesel, Jan-David Related Software: SpaceEx; KeYmaera X; HyTech; … Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); …
Smallfoot Cited in 51 Documents (2004–2022) Software Authors: Berdine, J., Calcagno, C., O’Hearn, P.W. Related Software: VeriFast; jStar; z3; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
Lolli Cited in 50 Documents (1993–2021) Software Authors: Josh Hodas; Dale Miller Related Software: Twelf; Elf; ML; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
CeTA Cited in 48 Documents (2009–2023) Software Authors: Thiemann, René; Sternagel, Christian Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX); …
Daikon Cited in 39 Documents (2005–2022) Software Authors: Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen Related Software: JML; Houdini; Eiffel; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
Lparse Cited in 42 Documents (2001–2020) Software Authors: Tommi Syrjänen Related Software: Gringo; ASSAT; MiniSat; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
GHC Cited in 36 Documents (1986–2014) Software Authors: Ueda, Kazunori Related Software: PARLOG; Kima; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
KL-ONE Cited in 36 Documents (2001–2020) Software Authors: Baader, Franz; Sattler, Ulrike Related Software: FaCT++; Racer; Pellet; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
leanTAP Cited in 39 Documents (1994–2021) Software Authors: Beckert, Bernhard; Posegga, Joachim Related Software: SETHEO; TPTP; ModLeanTAP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
Ltur Cited in 40 Documents (1988–2022) Software Authors: Minoux, M. Related Software: Datalog; JBool; HgMUS; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
Ivy Cited in 39 Documents (2000–2021) Software Authors: William McCune; Olga Shumsky Related Software: ACL2; TPTP; z3; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
LUPS Cited in 37 Documents (1999–2019) Software Authors: Alferes, José Júlio; Pereira, Luís Moniz; Przymusinska, Halina; Przymusinski, Teodor C. Related Software: XSB; Smodels; EVOLP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
GEX Cited in 30 Documents (1996–2020) Software Authors: Gao, X.-S., et al. Related Software: GeoGebra; JGEX; GeoProof; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX); …
jStar Cited in 30 Documents (2008–2022) Software Authors: DiStefano, D., Parkinson, M. Related Software: VeriFast; Smallfoot; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
JavaFAN Cited in 30 Documents (2004–2018) Software Authors: Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore Related Software: Maude; K Prover; MMT; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
JPAX Cited in 21 Documents (2002–2022) Software Authors: Havelund, Klaus; Roşu, Grigore Related Software: Maude; Bandera; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Hyperproof Cited in 23 Documents (1994–2022) Software Authors: Jon Barwise, John Etchemendy Related Software: Dr.Doodle; Isabelle; Pesca; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX); …
PITA Cited in 23 Documents (2010–2022) Software Authors: Riguzzi, Fabrizio; Swift, Terrance Related Software: ProbLog; CP-logic; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
NoMoRe Cited in 22 Documents (2001–2012) Software Authors: Anger, Christian; Konczak, Kathrin; Linke, Thomas Related Software: ASSAT; Cmodels; Smodels; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)
CP-logic Cited in 19 Documents (2009–2022) Software Authors: Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice Related Software: ProbLog; PITA; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
cc(FD) Cited in 18 Documents (1998–2022) Software Authors: Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves Related Software: CPLEX; Choco; COMET; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GASP Cited in 17 Documents (2008–2021) Software Authors: Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco Related Software: Clingo; Gringo; WASP; … Main Fields: Computer science (68-XX)
Giotto Cited in 16 Documents (2001–2022) Software Authors: Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch Related Software: Esterel; SIGNAL; Kronos; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
MaGIC Cited in 19 Documents (2001–2022) Software Authors: Slaney, J. Related Software: MaTest; OTTER Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FORS Cited in 14 Documents (1997–2022) Software Authors: Karalić, Aram; Bratko, Ivan Related Software: UCI-ml; C4.5; GOLEM; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …
HasCasl Cited in 17 Documents (2002–2015) Software Authors: Schr"oder, Lutz; Mossakowski, Till Related Software: CASL; Haskell; Hets; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
AQCS Cited in 14 Documents (2000–2020) Software Authors: Ratschan, S Related Software: QEPCAD; RSOLVER; mctoolbox; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Numerical analysis (65-XX); …
ASPIDE Cited in 12 Documents (2012–2021) Software Authors: Febbraro, Onofrio; Reale, Kristian; Ricca, Francesco Related Software: SeaLion; Kara; APE; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
DDebugger Cited in 11 Documents (2009–2017) Software Authors: Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael Related Software: Maude; Anima; Web-TLR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Cogent Cited in 11 Documents (2005–2018) Software Authors: Cook, Byron; Kroening, Daniel; Sharygina, Natasha Related Software: SatAbs; SIMPLIFY; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
DPPD Cited in 14 Documents (1998–2015) Software Authors: Leuschel, M. Related Software: ECCE; Mercury; LOGEN; … Main Fields: Computer science (68-XX)
HOL-Boogie Cited in 13 Documents (2008–2015) Software Authors: Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart Related Software: Isabelle/HOL; Why3; Boogie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VeriMAP Cited in 13 Documents (2015–2022) Software Authors: De Angelis E, Fioravanti F, Pettorossi A, Proietti M Related Software: z3; TRACER; SeaHorn; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
DeepProbLog Cited in 13 Documents (2020–2022) Software Authors: Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester, Luc De Raedt Related Software: ProbLog; TensorLog; NeurASP; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
EQP Cited in 13 Documents (1997–2022) Software Authors: McCune, William Related Software: OTTER; SPASS; Peers-mcd; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); …
OPTYap Cited in 12 Documents (2001–2018) Software Authors: Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos Related Software: XSB; YapTab; YapOr; … Main Fields: Computer science (68-XX)
sCASP Cited in 12 Documents (2018–2022) Software Authors: Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta Related Software: Clingo; ezcsp; GASP; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
asprin Cited in 12 Documents (2015–2022) Software Authors: Gerhard Brewka, James Delgrande, Javier Romero, Torsten Schaub Related Software: Clingo; Potassco; Gringo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
mural Cited in 10 Documents (1991–2014) Software Authors: Jones, C.B.; Jones, K.D.; Lindsay, P.A.; Moore, R.D. Related Software: RAISE; LARCH; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TAS Cited in 11 Documents (1994–2006) Software Authors: Christoph Lüth; Burkhart Wolff Related Software: IsaWin; Isabelle; Nuprl; … Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)
Zapato Cited in 11 Documents (2004–2018) Software Authors: Ball, T., Cook, B., Lahiri, S.K., Zhang, L. Related Software: CVC Lite; Chaff; ICS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Datalog LITE Cited in 9 Documents (2002–2019) Software Authors: Gottlob, Georg; Grädel, Erich; Veith, Helmut Related Software: XPath; Ltur; ComputeTW; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
jContractor Cited in 9 Documents (2002–2012) Software Authors: Karaorman, Murat; Abercrombie, Parker Related Software: JML; Eiffel; Spec#; … Main Fields: Computer science (68-XX)
MAVEN Cited in 9 Documents (2007–2013) Software Authors: Goldman, Max; Katz, Emilia; Katz, Shmuel Related Software: ProMoVer; CVPP; Aspectual Caml; … Main Fields: Computer science (68-XX)
Speedith Cited in 9 Documents (2012–2019) Software Authors: Urbas, M., Jamnik, M., Stapleton, G., Flower, J. Related Software: Diabelli; Openproof; Pesca; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Convex and discrete geometry (52-XX); …
STeLP Cited in 9 Documents (2011–2019) Software Authors: Cabalar, Pedro; Diéguez, Martín Related Software: Coala; Gringo; CCalc; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TopLog Cited in 8 Documents (2008–2021) Software Authors: Muggleton, Stephen H.; Santos, Jos\'e Carlos Almeida; Tamaddoni-Nezhad, Alireza Related Software: Aleph; SOLAR; GitHub; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
Z3-str Cited in 9 Documents (2015–2022) Software Authors: Zheng Y, Zhang X, Ganesh V Related Software: S3; PASS; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Metaopt Cited in 9 Documents (2019–2022) Software Authors: Cropper, Andrew; Muggleton, Stephen H. Related Software: Metagol; GitHub; GOLEM; … Main Fields: Computer science (68-XX)
MOCUS Cited in 8 Documents (1977–2020) Software Authors: J.B. Fussell, E.B. Henry, N.H. Marshall Related Software: FATRAM; PREP/KITT; ELRAFT; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
Tecton Cited in 5 Documents (1994–2003) Software Authors: Kapur, D.; Nie, X.; Musser, D. R. Related Software: RRL; NQTHM; AFFIRM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
TILOS Cited in 6 Documents (2005–2022) Software Authors: Fishburn JP, Dunlop AE Related Software: JiffyTune; LANCELOT; Mosek; … Main Fields: Combinatorics (05-XX); Optics, electromagnetic theory (78-XX); Operations research, mathematical programming (90-XX); …
CFML Cited in 7 Documents (2010–2015) Software Authors: Charguéraud, Arthur Related Software: Coq; ML; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DLog Cited in 7 Documents (2008–2019) Software Authors: Lukácsy, Gergely; Szeredi, Péter Related Software: Pellet; OntoDLV; PR-OWL; … Main Fields: Computer science (68-XX)
evt Cited in 6 Documents (2001–2021) Software Authors: Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov Related Software: Erlang; Isabelle; Coq; … Main Fields: Computer science (68-XX)
Java+ITP Cited in 7 Documents (2007–2013) Software Authors: Sasse, R., Meseguer, J. Related Software: Maude; JavaFAN; K Prover; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lpopt Cited in 8 Documents (2017–2022) Software Authors: Bichler, Manuel; Morak, Michael; Woltran, Stefan Related Software: Clingo; GRAPPA; WASP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MCINTYRE Cited in 7 Documents (2015–2019) Software Authors: Riguzzi, F. Related Software: ProbLog; PITA; CP-logic; … Main Fields: Computer science (68-XX)
RGITL Cited in 8 Documents (2014–2022) Software Authors: Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang Related Software: SPIN; KIV; Dafny; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
selp Cited in 8 Documents (2019–2022) Software Authors: Manuel Bichler, Michael Morak, Stefan Woltran Related Software: Clingo; htd; eclingo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
KOOL Cited in 6 Documents (2009–2015) Software Authors: Hills, M., Rosu, G. Related Software: K Prover; Maude; K tool; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
linTAP Cited in 7 Documents (1999–2019) Software Authors: Mantel, H., Otten, J. Related Software: llprover; Lolli; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LPTP Cited in 6 Documents (1998–2016) Software Authors: Stärk, Robert F. Related Software: AsmL; ML; XSB; … Main Fields: Computer science (68-XX)
PROTOS-L Cited in 7 Documents (1990–1996) Software Authors: Beierle, Christoph Related Software: Prolog Main Fields: Computer science (68-XX)
Alpha Cited in 6 Documents (1999–2005) Software Authors: Wilde, D.K. Related Software: MMAlpha; PolyLib; OPERA; … Main Fields: Computer science (68-XX)
ASPeRiX Cited in 4 Documents (2009–2016) Software Authors: Claire Lefèvre, Pascal Nicolas, Stéphane Ngoma Related Software: ASSAT; OMiGA; Gringo; … Main Fields: Computer science (68-XX)
CertiCrypt Cited in 5 Documents (2009–2017) Software Authors: Barthe, Gilles; Grégoire, Benjamin; Zanella Béguelin, Santiago Related Software: Coq; Coq/SSReflect; EasyCrypt; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
ESPRESSO Cited in 6 Documents (1984–2020) Software Authors: R. K. Brayton, G. D. Hachtel, L. A. Hemachandra, A. R. Newton, A. L. M. Sangiovanni-Vincentelli Related Software: MiniSat; tiny_sha3; ABC; … Main Fields: General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
iJulienne Cited in 5 Documents (2014–2020) Software Authors: Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia Related Software: Maude; Web-TLR; Anima; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
llprover Cited in 6 Documents (2002–2022) Software Authors: Tamura, N. Related Software: linTAP; Lolli; Sympli; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MSVL Cited in 6 Documents (2019–2020) Software Authors: Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao Related Software: SPIN; CPAchecker; CESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
NESCOND Cited in 6 Documents (2014–2021) Software Authors: Olivetti, Nicola; Pozzato, Gian Luca Related Software: VINTE; CondLean; MOIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
spock Cited in 4 Documents (2008–2020) Software Authors: Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S. Related Software: Gringo; ASPIDE; SeaLion; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
TeaBag Cited in 6 Documents (2005–2013) Software Authors: S. Antoy, S. Johnson Related Software: TOY; PAKCS; Hood; … Main Fields: Computer science (68-XX)
VeriSmall Cited in 5 Documents (2012–2018) Software Authors: Appel, Andrew W. Related Software: Coq; Charge!; Smallfoot; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ALE Cited in 3 Documents (1992–2005) Software Authors: Carpenter, B., G. Penn Related Software: Grammar Matrix; LKB Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ASPTools Cited in 5 Documents (2009–2022) Software Authors: Tomi Janhunen Related Software: ASSAT; clasp; DLV; … Main Fields: Computer science (68-XX)
Bedrock Cited in 4 Documents (2017–2019) Software Authors: Adam Chlipala Related Software: Coq; Toolchain; OCaml; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CLPGUI Cited in 3 Documents (2009–2016) Software Authors: Fages, F., Soliman, S., Coolen, R. Related Software: Petriweb; BioModels; Metatool; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
EVALPSN Cited in 5 Documents (2003–2020) Software Authors: Nakamatsu, Kazumi; Seno, Toshiaki; Abe, Jair Minoro; Suzuki, Atsuyuki Related Software: GraphTheory; Maple Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Fril++ Cited in 5 Documents (2002–2017) Software Authors: Cao, T. H.; Rossiter, J. M.; Martin, T. P.; Baldwin, J. F. Related Software: Fuzzydl; FRIL; HyPER; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
LMS Cited in 4 Documents (2010–2022) Software Authors: Tiark Rompf, Martin Odersky Related Software: BLOG; TMB; PyMC; … Main Fields: Computer science (68-XX)
lpeq Cited in 5 Documents (2002–2011) Software Authors: Tomi Janhunen Related Software: DLPEQ; GNT; GOLEM; … Main Fields: Computer science (68-XX)
Pengines Cited in 5 Documents (2014–2019) Software Authors: Lager, Torbjörn; Wielemaker, Jan Related Software: SWI-Prolog; R; Real; … Main Fields: Statistics (62-XX); Computer science (68-XX)
TCHR Cited in 4 Documents (2008–2019) Software Authors: Schrijvers, Tom; Demoen, Bart; Warren, David S. Related Software: XSB; CHIP; SWI-Prolog; … Main Fields: Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX)
VeriCon Cited in 5 Documents (2014–2021) Software Authors: Ball, T., Bjorner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M., Valadarsky, A. Related Software: Anteater; NetKAT; Kuai; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Alcove Cited in 4 Documents (2018–2021) Software Authors: Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo Related Software: Quipper; HYBRID; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Anima Cited in 4 Documents (2014–2016) Software Authors: Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia Related Software: Maude; Web-TLR; DDebugger; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)