Generalising Automaticity to Modal Properties of Finite Structures
Hlavní autoři: | Dawar, A, Kreutzer, S |
---|---|
Médium: | Conference item |
Vydáno: |
Springer
2002
|
Podobné jednotky
-
Generalising Automaticity to Model Properties of Finite Structures
Autor: Dawar, A, a další
Vydáno: (2007) -
Inflationary Fixed Points in Modal Logics
Autor: Dawar, A, a další
Vydáno: (2001) -
Inflationary Fixed Points in Modal Logics
Autor: Dawar, A, a další
Vydáno: (2004) -
Game Comonads & Generalised Quantifiers
Autor: Adam Ó Conghaile, a další
Vydáno: (2024-07-01) -
Generalisation of new sequence knowledge depends on response modality
Autor: Rosenthal, C, a další
Vydáno: (2013)