ARCHIVES

1. John D. Sullivan. (2000, September). Spreadsheet Generation of a Truth Table. ARMY RESEARCH LABORATORY.
2. Josje Lodder, Bastiaan Heeren and Johan Jeuring. (2016). A Domain Reasoner for Propositional Logic. Journal of Universal Computer
Science, vol. 22, no. 8 (2016), 1097-1122
3. Alasdair Urquhart. Complexity of Proofs in Classical Propositional Logic. Logic from Computer Science. Proceedings of a Workshop (Nov.,
13–17, 1989)
4. Zhan, Yongjian, Truth Set Method and Propositional Logic (February 7, 2022). Available at SSRN: https://ssrn.com/abstract=4028578 or
http://dx.doi.org/10.2139/ssrn.4028578
5. Zhan, Yongjian, Truth Set Procedure for Solving SAT Problems (March 15, 2022). Available at SSRN: https://ssrn.com/abstract=4058278
or http://dx.doi.org/10.2139/ssrn.4058278
6. Propositional Logic of Context Saga BuvaE & Ian A. Mason, ga BuvaE & Ian A. Mason Computer Science Department Stanford University
Stanford. AAAI-93 Proceedings
7. Mahesh Viswanathan, Propositional logic syntax and semantics (2018)- courses.engr.illinois.edu
https://courses.engr.illinois.edu/cs498mv/fa2018/PropositionalLogic.pdf
8. Liu Yu 'e. (2000.) Discussion on Propositional Logic Incorporating Set Thought into Discrete Mathematics. J. Phys.: Conf. Ser. 1634 0120879. Emil L. Post. Introduction to a General Theory of Elementary Propositions. American Journal of Mathematics Vol. 43, No. 3 (Jul., 1921),
pp. 163-185 (23 pages). https://www.jstor.org/stable/2370324
10. Byjus, accessed on December 27, 2022. https://byjus.com/question-answer/what-is-truth-table-and-its-significance
11. Samruddhi Mumbare, Kunal Shivam, Priyanka Lokhande, Samruddhi Zaware, Varad Deshpande and Kuldeep Vayadande,”Software
Controller using Hand Gestures”, ITM Web Conf. Volume 50, 2022
12. Vayadande, Kuldeep B., et al. "Simulation and Testing of Deterministic Finite Automata Machine." International Journal of Computer
Sciences and Engineering 10.1 (2022): 13-17.
13. Vayadande, Kuldeep, et al. "Modulo Calculator Using Tkinter Library." EasyChair Preprint 7578 (2022).
14. VAYADANDE, KULDEEP. "Simulating Derivations of Context-Free Grammar." (2022).
15. Vayadande, Kuldeep, Ram Mandhana, Kaustubh Paralkar, Dhananjay Pawal, Siddhant Deshpande, and Vishal Sonkusale. "Pattern
Matching in File System." International Journal of Computer Applications 975: 8887.
16. Vayadande, Kuldeep, Ritesh Pokarne, Mahalakshmi Phaldesai, Tanushri Bhuruk, Tanmay Patil, and Prachi Kumar. "Simulation Of
Conway’s Game Of Life Using Cellular Automata." SIMULATION 9, no. 01 (2022).
17. Gurav, Rohit, Sakshi Suryawanshi, Parth Narkhede, Sankalp Patil, Sejal Hukare, and Kuldeep Vayadande. "Universal Turing machine
simulator." International Journal of Advance Research, Ideas and Innovations in Technology, ISSN (2022).
18. Vayadande, Kuldeep B., Parth Sheth, Arvind Shelke, Vaishnavi Patil, Srushti Shevate, and Chinmayee Sawakare. "Simulation and Testing of
Deterministic Finite Automata Machine." International Journal of Computer Sciences and Engineering 10, no. 1 (2022): 13-17.
19. Vayadande, Kuldeep, Ram Mandhana, Kaustubh Paralkar, Dhananjay Pawal, Siddhant Deshpande, and Vishal Sonkusale. "Pattern
Matching in File System." International Journal of Computer Applications 975: 8887.
20. Vayadande, Kuldeep, Neha Bhavar, Sayee Chauhan, Sushrut Kulkarni, Abhijit Thorat, and Yash Annapure. Spell Checker Model for String
Comparison in Automata. No. 7375. EasyChair, 2022.
21. Vayadande, Kuldeep, Harshwardhan More, Omkar More, Shubham Mulay, Atharva Pathak, and Vishwam Talnikar. "Pac Man: Game
Development using PDA and OOP." (2022).
22. Vayadande, Kuldeep. "Harshwardhan More, Omkar More, Shubham Mulay, Atahrv Pathak, Vishwam Talanikar,“Pac Man: Game
Development using PDA and OOP”." International Research Journal of Engineering and Technology (IRJET), e-ISSN (2022): 2395-0056.
23. Ingale, Varad, Kuldeep Vayadande, Vivek Verma, Abhishek Yeole, Sahil Zawar, and Zoya Jamadar. "Lexical analyzer using DFA."
International Journal of Advance Research, Ideas and Innovations in Technology, www. IJARIIT. com.
24. Manjramkar, Devang, Adwait Gharpure, Aayush Gore, Ishan Gujarathi, and Dhananjay Deore. "A Review Paper on Document text search
based on nondeterministic automata." (2022).
25. Chandra, Arunav, Aashay Bongulwar, Aayush Jadhav, Rishikesh Ahire, Amogh Dumbre, Sumaan Ali, Anveshika Kamble, Rohit Arole, Bijin
Jiby, and Sukhpreet Bhatti. Survey on Randomly Generating English Sentences. No. 7655. EasyChair, 2022.
26. Kuldeep Vayadande, Kirti Agarwal, Aadesh Kabra, Ketan Gangwal and Atharv Kinage,” Cryptography using Automata Theory”, ITM Web
Conf. Volume 50, 2022