Uploads
Contact
/
Login
Upload
Search Results for 'Orderlogic'
AnIntroductiontoFirst-OrderLogic
luanne-stotts
asasyntacticfragmentofrst-orderlogic,itisalsonaturaltoaskforsyntactic
tatiana-dople
SatisabilityModuloTheories:AnAppetizerLeonardodeMouraandNikolajBjrne
conchita-marotz
CraigInterpolationinDisplayableLogicsJamesBrotherston1andRajeevGore21
test
Non-ClassicalLogics:AnIntroductionModalanddescriptionlogicsVioricaSofr
sherrill-nordquist
Decidablefragmentsofrst-orderlogic
briana-ranney
Foundational Proof-Carrying Code
luanne-stotts
ThreeYearsofExperiencewithSledgehammerL.C.PaulsonandJ.C.BlanchetteThet
tatyana-admore