scientific article; zbMATH DE number 7319042
From MaRDI portal
Publication:4965866
zbMath1457.68169arXiv1111.3107MaRDI QIDQ4965866
Wolfgang Thomas, Alex Spelten, Sarah Winter
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1111.3107
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (4)
Solving Infinite Games in the Baire Space ⋮ Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change ⋮ Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change ⋮ Unnamed Item
This page was built for publication:
