Browsing by Author Farmer, William M.
Showing results 1 to 8 of 8
Publication Date | Title | Author(s) |
---|---|---|
Oct-2011 | Algebraic Constructions Applied to Theories | Tran, Minh Quang |
Sep-2007 | Algebraic Processors | Larjani, Pouya |
2020 | An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language | Yao, Shucai |
Jan-2008 | Mei-A Module System for Mechanized Mathematics Systems | Xu, Jian |
2008 | Panoptes: An Exploration Tool for Formal Proofs | Grigorov, Orlin |
Apr-2012 | REASONING ABOUT DEFINEDNESS - A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC | Hu, Qian |
23-Sep-2010 | Simplification Infrastructure for an Implementation of the Chiron Logic | Zhang, Yin Han |
Apr-2013 | Software Specialization as Applied to Computational Algebra | Larjani, Pouya |
Showing results 1 to 8 of 8