Search

Search Funnelback University

Search powered by Funnelback
11 - 12 of 12 search results for TALK:ZA31 24 / where 0 match all words and 12 match some words.
  1. Results that match 1 of 2 words

  2. Model Theory of Tame Classes of Finite Structures Part 2: Sparse…

    https://www.cl.cam.ac.uk/~ad260/talks/LogColloq24-lecture2.pdf
    1 Jul 2024: with assistance from Ioannis Eleftheriadis). Logic Colloquium, Gothenburg 24 June 2024.
  3. Model Theory of Tame Classes of Finite Structures Part 1: Locality

    https://www.cl.cam.ac.uk/~ad260/talks/LogColloq24-lecture1.pdf
    1 Jul 2024: Logic Colloquium, Gothenburg 24 June 2024. Finite Model Theory. In the 1980s, the term finite model theory came to be used to describethe study of the expressive power of logics on

Refine your results

Format

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.