Model theory makes formulas large
Auteurs principaux: | , , , |
---|---|
Format: | Conference item |
Publié: |
2007
|
_version_ | 1826287607843127296 |
---|---|
author | Dawar, A Grohe, M Kreutzer, S Schweikardt, N |
author_facet | Dawar, A Grohe, M Kreutzer, S Schweikardt, N |
author_sort | Dawar, A |
collection | OXFORD |
description | |
first_indexed | 2024-03-07T02:01:12Z |
format | Conference item |
id | oxford-uuid:9d6b4ee9-764b-4948-a6b2-f6e7cf8ffc17 |
institution | University of Oxford |
last_indexed | 2024-03-07T02:01:12Z |
publishDate | 2007 |
record_format | dspace |
spelling | oxford-uuid:9d6b4ee9-764b-4948-a6b2-f6e7cf8ffc172022-03-27T00:42:58ZModel theory makes formulas largeConference itemhttp://purl.org/coar/resource_type/c_5794uuid:9d6b4ee9-764b-4948-a6b2-f6e7cf8ffc17Department of Computer Science2007Dawar, AGrohe, MKreutzer, SSchweikardt, N |
spellingShingle | Dawar, A Grohe, M Kreutzer, S Schweikardt, N Model theory makes formulas large |
title | Model theory makes formulas large |
title_full | Model theory makes formulas large |
title_fullStr | Model theory makes formulas large |
title_full_unstemmed | Model theory makes formulas large |
title_short | Model theory makes formulas large |
title_sort | model theory makes formulas large |
work_keys_str_mv | AT dawara modeltheorymakesformulaslarge AT grohem modeltheorymakesformulaslarge AT kreutzers modeltheorymakesformulaslarge AT schweikardtn modeltheorymakesformulaslarge |