Fredrik Lindblad

Gästlärare vid Datavetenskap

Kontaktuppgifter

Publikationer (6)
Projekt (0)

Visar 6 publikationer

2014

A focused sequent calculus for higher-order logic

Fredrik Lindblad

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8562 LNAI, p. 61-75

Paper i proceeding

2008

Property Directed Generation of First-Order Test Data

Fredrik Lindblad

Trends in Functional Programming. Vol. 8, p. 105-123

Paper i proceeding

2008

Higher-Order Proof Construction Based on First-Order Narrowing

Fredrik Lindblad

Electronic Notes in Theoretical Computer Science. Vol. 196 (C), p. 69-84

Artikel i vetenskaplig tidskrift

2008

SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values

Fredrik Lindblad, Matthew Naylor, Colin Runciman

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 44 (2), p. 37-48

Artikel i vetenskaplig tidskrift

2007

Testing and Proving using Narrowing

Fredrik Lindblad

Licentiatavhandling

2006

A Tool for Automated Theorem Proving in Agda

Fredrik Lindblad, Marcin Benke

LNCS, Types for Proofs and Programs. Vol. 3839, p. 155-170

Paper i proceeding

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.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Fredrik Lindblad medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.