Facile Software Authors: Giacalone, A., Mishra, P., Prasad, S Cited in: 22 Publications (1990–2009) Related Software: Pict; ML; JoCaml; PiDuce; KLAIM; XPath; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
UMM Software Authors: Yang Y, Gopalakrishnan G, Lindstrom G Cited in: 6 Publications (2007–2016) Related Software: Coq; Checkfence; TSOTool; GitHub; Weak2SC; Lazy-CSeq; … Main Fields: Computer science (68-XX)
MixML Software Authors: – Cited in: 6 Publications (2008–2018) Related Software: 1ML; ML; Automath; Tribe; HMap; Dotty; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PAL+ Software Authors: Luo, Z. Cited in: 3 Publications (2003–2004) Related Software: ALF; Automath; Multilisp Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Wysteria Software Authors: Rastogi, A., Hammer, M.A., Hicks, M. Cited in: 3 Publications (2016–2022) Related Software: Sharemind; EasyUC; HyCC; JIFF; Links; Hop; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)
JWalk Software Authors: Anthony Simons Cited in: 0 Publications Related Software: NanoXML; JCrasher; Eclat; Rostra; JUnit; Korat; … Main Fields: –
VIFID/TRIFID Software Authors: Manuel Carro; Manuel Hermenegildo Cited in: 2 Publications (2009–2016) Related Software: DiSCiPl; Oz Explorer; COMET; CHUFFED; SATGraf; MinisatID; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Encodability_Process_Calculi Software Authors: Kirstin Peters; Rob van Glabbeek Cited in: 1 Publication (2020) Related Software: Apache Flink; Archive Formal Proofs; Pict; CADP Main Fields: Computer science (68-XX)