Dan Rosén
Visar 9 publikationer
TIP: Tons of Inductive Problems
SAT modulo intuitionistic implications
Tip: Tools for inductive provers
Hipster: Integrating theory exploration in a proof assistant
Compiling Linear Logic using Continuations
HALO: Haskell to Logic through Denotational Semantics
HALO: Haskell to logic through denotational semantics
Automating Inductive Proofs using Theory Exploration
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 1 forskningsprojekt
Development of automated methods for specification extraction from programs