Fredrik Lindblad

Gästlärare vid Datavetenskap
gravatar.com image

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), p. 61-75
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
2008

Property Directed Generation of First-Order Test Data

Fredrik Lindblad
Trends in Functional Programming. Vol. 8, p. 105-123
Paper i proceeding
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

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.