( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-Checking by Infinite Fly-Automata.

, и . CAI, том 8080 из Lecture Notes in Computer Science, стр. 211-222. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Horst Bruno

Horst Bruno

Eugen Bruno

Axel Brunold

Armin Bruno

 

Другие публикации лиц с тем же именем

The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications.. Theor. Comput. Sci., 299 (1-3): 1-36 (2003)Map Genus, Forbidden Maps, and Monadic Second-Order Logic., и . Electron. J. Comb., (2002)The solution of two star height problems for regular trees., и . Automata on Infinite Words, том 192 из Lecture Notes in Computer Science, стр. 108-117. Springer, (1984)Définitions Récursives Par Cas., и . RAIRO Theor. Informatics Appl., 18 (2): 91-129 (1984)A multivariate interlace polynomial. CoRR, (2007)Graph Operations and Monadic Second-Order Logic: A Survey.. LPAR, том 1955 из Lecture Notes in Computer Science, стр. 20-24. Springer, (2000)Regularity Equals Monadic Second-Order Definability for Quasi-trees.. Fields of Logic and Computation II, том 9300 из Lecture Notes in Computer Science, стр. 129-141. Springer, (2015)The monadic second-order logic of graphs XVI : Canonical graph decompositions.. Logical Methods in Computer Science, (2006)Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations.. FoSSaCS, том 2303 из Lecture Notes in Computer Science, стр. 1-4. Springer, (2002)An Algebraic Formalism for Graphs., и . CAAP, том 214 из Lecture Notes in Computer Science, стр. 74-84. Springer, (1986)