Infinite Words: Automata, Semigroups, Logic and Games

&
Bulletin of Symbolic Logic 11 (2):246-247 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Progress measures, immediate determinacy, and a subset construction for tree automata.Nils Klarlund - 1994 - Annals of Pure and Applied Logic 69 (2-3):243-268.
Progress measures, immediate determinacy, and a subset construction for tree automata.Hiroshi Nakano - 1994 - Annals of Pure and Applied Logic 69 (2-3):243-268.
Infinite games specified by 2-tape automata.Olivier Finkel - 2016 - Annals of Pure and Applied Logic 167 (12):1184-1212.
Alternating automata and temporal logic normal forms.Clare Dixon, Alexander Bolotov & Michael Fisher - 2005 - Annals of Pure and Applied Logic 135 (1-3):263-285.
Infinite games played on finite graphs.Robert McNaughton - 1993 - Annals of Pure and Applied Logic 65 (2):149-184.
Automata, Logics, and Infinite Games: A Guide to Current Research.Wolfgang Thomas & Thomas Wilke - 2004 - Bulletin of Symbolic Logic 10 (1):114-115.
A Modal Logic for Mixed Strategies.Joshua Sack & Wiebe van der Hoek - 2014 - Studia Logica 102 (2):339-360.
Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerances.James D. Mitchell, Michal Morayne, Yann Péresse & Martyn Quick - 2010 - Annals of Pure and Applied Logic 161 (12):1471-1485.
More on cichoń's diagram and infinite games.Masaru Kada - 2000 - Journal of Symbolic Logic 65 (4):1713-1724.
More on Cichon's Diagram and Infinite Games.Masaru Kada - 2000 - Journal of Symbolic Logic 65 (4):1713-1724.
Information Tracking in Games on Graphs.Dietmar Berwanger & Łukasz Kaiser - 2010 - Journal of Logic, Language and Information 19 (4):395-412.
Daggers, Kernels, Baer *-semigroups, and Orthomodularity.John Harding - 2013 - Journal of Philosophical Logic 42 (3):535-549.
The problem of determinacy of infinite games from an intuitionistic point of view.Wim Veldman - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 351--370.
A game‐theoretic proof of analytic Ramsey theorem.Kazuyuki Tanaka - 1992 - Mathematical Logic Quarterly 38 (1):301-304.
Linear logic automata.Max I. Kanovich - 1996 - Annals of Pure and Applied Logic 78 (1-3):147-188.

Analytics

Added to PP
2017-02-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Infinite games specified by 2-tape automata.Olivier Finkel - 2016 - Annals of Pure and Applied Logic 167 (12):1184-1212.
Fractal dimensions of K-automatic sets.Alexi Block Gorman & Chris Schulz - forthcoming - Journal of Symbolic Logic:1-30.

Add more citations

References found in this work

No references found.

Add more references