Fredrik Engström

Publikationer (11)
Projekt (0)

Visar 11 publikationer

2014

Symbolic Reasoning with Bounded Cognitive Resources

Claes Strannegård, Abdul Rahim Nizamani, Fredrik Engström et al

, p. 1539-1544

Övrigt konferensbidrag

2014

Generating Comprehensible Explanations in Description Logic

Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård

CEUR Workshop Proceedings. Vol. 1193, p. 530-542

Paper i proceeding

2013

Bounded Kolmogorov Complexity Based on Cognitive Models

Claes Strannegård, Abdul Rahim Nizamani, Sjöberg Anders et al

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Vol. 7999, p. 130-139

Paper i proceeding

2013

Reasoning about truth in first-order logic

Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani et al

Journal of Logic, Language and Information. Vol. 22 (1), p. 115-137

Artikel i vetenskaplig tidskrift

2004

Notions of resplendency for logics stronger than first-order logic

Fredrik Engström

Bulletin of Symbolic Logic. Vol. 11 (2), p. 275-

Paper i proceeding

2004

Variations on replendency and recursive saturation

Fredrik Engström

New York Graduate Student Logic Conference

Övrigt konferensbidrag

2004

A notion of recursive saturation for models of arithmetic with the standard predicate

Fredrik Engström

Nonstandard Models of Arithmetic and Analysis

Paper i proceeding

2004

Expansions, omitting types, and standard systems

Fredrik Engström

Doktorsavhandling

2003

Omitting types in expansions and related strong saturation properties

Fredrik Engström

Bulletin of Symbolic Logic. Vol. 10 (2), p. 253-

Paper i proceeding

2002

Resplendency and omitting types

Fredrik Engström

British Logic Colloquium 2002

Övrigt konferensbidrag

2002

Satisfaction classes in nonstandard models of first-order arithmetic

Fredrik Engström

Licentiatavhandling

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 Engström medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.