×

zbMATH — the first resource for mathematics

Proving theorems about Lisp functions. (English) Zbl 0338.68014

MSC:
68N01 General topics in the theory of software
68Q45 Formal languages and automata
68W30 Symbolic computation and algebraic computation
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDF BibTeX XML Cite
Full Text: DOI