%0 Generic
%T Fragments of First-Order Logic over Infinite Words
%A Diekert, Volker
%A Kufleitner, Manfred
%A Volker Diekert and Manfred Kufleitner
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Automata theory
%K Infinite words
%K Semigroups
%K First-order logic
%K Regular languages
%K Topology
%D 2009
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation