Theorem Proving in Higher Order Logics

DOI10.1007/11541868MaRDI QIDQ5477646zbMATH OpenOpenAlexFDO

Authors Brian Aydemir, Aaron Bohannon, M. Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic

Publication date 6 July 2006

Published in Lua error in package.lua at line 80: module 'SPARQL' not found. (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11541868

Mathematics Subject Classification ID

Lua error in package.lua at line 80: module 'SPARQL' not found.

Recommendations

Lua error in package.lua at line 80: module 'SPARQL' not found.

Cited in

Lua error in package.lua at line 80: module 'SPARQL' not found.

Describes a project that uses

Lua error in package.lua at line 80: module 'SPARQL' not found.

This page was built for publication: Theorem Proving in Higher Order Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477646)

<div class="DeepChat" data-config='{

   "history": [
       {"text": "Hi there. I am the MaRDI chat bot.", "role": "ai"},
       {"text": "You can ask me questions about this  or click on an example.", "role": "ai"}
   ],
   "pagename": "Theorem Proving in Higher Order Logics (scientific article; zbMATH DE number 5038923)",
   "namespace": "",
   "pagetitle": Lua error in package.lua at line 80: module 'SPARQL' not found.,
   "stream": false,
   "demo": false

}'>