×

ALISA

swMATH ID: 3031
Software Authors: Korukhova, Yulia
Description: Automatic deductive synthesis of Lisp programs in the system ALISA
Homepage: http://www.springerlink.com/content/bwj846u33m635727/fulltext.pdf
Related Software: KIDS; Theorema; Oyster; CLAM; Nuprl; Isabelle
Referenced in: 5 Publications

Referenced in 1 Field

5 Computer science (68-XX)

Referencing Publications by Year