Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

Automatic Theorem Proving in Walnut

Mousavi, Hamoon...

Free

Share this content

Automatic Theorem Proving in Walnut by Mousavi, Hamoon ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	08-08-2023
Summary	Walnut is a software package that implements a mechanical decision procedure for deciding certain combinatorial properties of some special words referred to as automatic words or automatic sequences. Walnut is written in Java and is open source. It is licensed under GNU General Public License.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1603.06017

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Mousavi, Hamoon. Automatic Theorem Proving in Walnut. Australian National University. August 08, 2023. Accessed October 01, 2025. https://online.provdatabase.com/cite/12920

APA 7th EditionReferences

Mousavi, Hamoon. (2023). Automatic Theorem Proving in Walnut. Australian National University. https://online.provdatabase.com/cite/12920

Chicago 17th EditionReferences

Mousavi, Hamoon. Automatic Theorem Proving in Walnut. Australian National University. 2023. https://online.provdatabase.com/cite/12920

HarvardReferences

Mousavi, Hamoon. (2023). Automatic Theorem Proving in Walnut. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/12920. (Accessed 01 October 2025).

Harvard AustraliaReferences

Mousavi, Hamoon, 2023, Automatic Theorem Proving in Walnut, Australian National University, viewed 01 October 2025, <https://online.provdatabase.com/cite/12920>

MLA 9th EditionWorks Cited

Mousavi, Hamoon. Automatic Theorem Proving in Walnut. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/12920.

Share this eBook