Fredrik Lindblad
Visar 6 publikationer
A focused sequent calculus for higher-order logic
Property Directed Generation of First-Order Test Data
Higher-Order Proof Construction Based on First-Order Narrowing
SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values
A Tool for Automated Theorem Proving in Agda
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.