Found 8 Software Packages (Results 1–8)


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)


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)


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)


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)


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)


Software Authors:   Anthony Simons
Cited in: 0 Publications
Related Software: NanoXML; JCrasher; Eclat; Rostra; JUnit; Korat; …
Main Fields:


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)


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)