Search Results

ArticlesSee all articles results »

From journals and magazines

1. A verified Common Lisp implementation of Buchberger’s algorithm in ACL2

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3JTsMwELUqTlwom0TZ5AMnpBDjLHakqlIbiBDqgVWIUxQnDknVplWXO7_B7_El2LFdqBAc4GqNpSQzmRnbz-8BcCJqtMNyLILX9TLLJYlvMepzCyVukFCW0aBm-3yi18_49o5GYQOE5i6MhFXq3K9yep2t9Yitv6Y9KUv7XlK_i8WIRBaKPsaTN8pFNyEjO7rofRLvukpkUxhb0tqcbNYYr8Es1ZSVZLmz8q02fak3URNU5klrsPWZApuobYcVFLahc_znS22CDd2Zwq6y2wINXm2DplF9gDoJ7ICbLhThX-aid4XtoiNvmIwr2C9nk7ZddGA5Moh06XI4zmFvkRYSRcan769vM5gMX8bTcl6MYFnBbtjHu-AxunwIryyty2ClovzPLexzh3KHM_H_Z4Qw5mCSi2WHm1CSSv6dDCEuVkpINH8oR16GMaKMiN4uyLCXEWcPQIRYnhMshdgDF2NGg5yQzPGTVI4H5y2AjCviVLOVS9GMYWxgaYNYeE-qaAYxkmfouAVOl1MmiqrjN2PX-DdecU0sSsnP0_b_Nu0ArCvUgdy6OQRr8-mCHyn5ieM6XD8A_WPxWQ

   by Ruiz-Reina, José-Luis; Medina-Bulo, Inmaculada and Palomo-Lozano, Francisco

   Journal Of Symbolic Computation, Volume 45, Issue 1, pp. 96 - 123

   Journal Article : Full Text Online

   View Article PDF

2. Common LISP as Simulation Program (CLASP) of Electronic Circuits Common LISP as (...)

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQAdbRxklpRsDEa2Kaomtinmimm2RhlqprkGhimWiRlGJhCT7tM9zCK9IoMMjCzRnpqi_QmjDI8cCQgNM3SwS2OBKNLBOTkxJNEs1NLID8NCODpLQ0M2Ng7yUJVPoCe-WwzhSkDAZV2-CtkMAOjS6oBkecyG8ErTrcBBn4oW0-BUeIXUIMTKl5wgzcSCcBijD022TYgfZq5Ocp-HgGB9joZ9gpJBYrBGfmQq_XUgiALKRS0HD2cQwO0FTIT1NwhV9ho-CcWZRcmllSrEAlc0QZPN1cQ5w9dEH-iS-AHEkRDzokGiwADLp4aNDFEwo6YwkGBQMQ19wIdCG6pYmRUZKFZZq5eYqxGVAPUNzSUJLBiXKLpKhhiDQDF3g8F7yURIaBpaSoNFUWcoWDHDjyAcASunY

   by J. Dobes and D. Cerny

   Radioengineering, Volume 20, Issue 4, pp. 880 - 889

   Journal Article : Full Text Online

3. An industrial strength theorem prover for a logic based on Common Lisp

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3db9MwELcYvMADGwWJMtgsxAMvaR07rm1pmrRVq8ZHoRsfY3uJnNihkyCdaPv_c2cnmSpNiJdL5JwVy1_nO9_9jpA3IKNFUXGYvJl0SabsKCn0yCfMZsbqwmkT0D4v9PtLfnauJ-MGZzvEwnjvg_OZH-BruMt3i3KNprKh1CBcsi2ypQyLoVq33hxKyRYeU0ptGhChlJmh4INYcUP0hFwqmxuwaKTKZJt8b9sTXKoH0aUkGhc2fK1b0Mb_bPoOedycM-lRnBhPyD1f98h2m8OBNku6Rx5NO9zW5VMyParpdZfMg2IgSf1zNacx3PE3RQME1IaDLrU07JoUxaCji5oezA8x2gTePl4vbw6G88Nn5Nvk5Ov4NGkSLiSlEHKVFNKBQgwSypaV9DqzJSh_hjsjmXcw1MYqtD1mRknnJRNeK275qNKpLYyuhHhOKGNFVSmOGdZNxnmhTaWUEyNbYrlJ--RtOwh52cCQYzaMX3lQR5jJBc9jb_XJ6471JmJv3MXUw97uGNrS3XZg82ZRLvPUSNCuZKr7ZL_7CqsJr0hs7RfrZc4VFwqObP_g0IixyOSLO_-7Sx5GfFt07XlJ7q_-rP2rmGdiD6btxSXSH2qPPDg--TQ7h-fp-N3kCko_qAToND1Dyj8HOkOqvgCdSeSBCf8Xb6H1ng

   by Moore, J.S. and Kaufmann, M.

   Ieee Transactions On Software Engineering, Volume 23, Issue 4, pp. 203 - 213

   Journal Article : Full Text Online

   View Article PDF

See all 552 Articles results

Back to results navigation