CatLog3 Cited in 5 Documents (2019–2022) Software Authors: Morrill, Glyn Related Software: Grail; Lolli; GitHub; … 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)
rFBP Cited in 0 Documents Software Authors: Nico Curti; Daniele Dall’Olio; Daniel Remondini; Gastone Castellani; Enrico Giampieri Related Software: Scikit; Python; Julia Main Fields: –
GMTSAR Cited in 0 Documents Software Authors: Sandwell, D. ., R. . Mellors, X. Tong, M. Wei, P. Wessel Related Software: – Main Fields: –