EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues RAIRO-Theor. Inf. Appl., 40 1 (2006) 53-74 Article references

Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

This article has been cited by the following article(s):

Well-Quasi Orders in Computation, Logic, Language and Reasoning

Victor Selivanov
Trends in Logic, Well-Quasi Orders in Computation, Logic, Language and Reasoning 53 271 (2020)
DOI: 10.1007/978-3-030-30229-0_10
See this article

Labeled posets are universal

Erkko Lehtonen
European Journal of Combinatorics 29 (2) 493 (2008)
DOI: 10.1016/j.ejc.2007.02.005
See this article

Undecidability in Some Structures Related to Computation Theory

V. L. Selivanov
Journal of Logic and Computation 19 (1) 177 (2009)
DOI: 10.1093/logcom/exn023
See this article

On the Homomorphism Order of Labeled Posets

Léonard Kwuida and Erkko Lehtonen
Order 28 (2) 251 (2011)
DOI: 10.1007/s11083-010-9169-x
See this article

Definability in the h-quasiorder of labeled forests

Oleg V. Kudinov, Victor L. Selivanov and Anton V. Zhukov
Annals of Pure and Applied Logic 159 (3) 318 (2009)
DOI: 10.1016/j.apal.2008.09.026
See this article

Definability of closure operations in the h-quasiorder of labeled forests

A. V. Zhukov, O. V. Kudinov and V. L. Selivanov
Algebra and Logic 49 (2) 120 (2010)
DOI: 10.1007/s10469-010-9084-7
See this article

Developments in Language Theory

Oleg V. Kudinov and Victor L. Selivanov
Lecture Notes in Computer Science, Developments in Language Theory 5583 454 (2009)
DOI: 10.1007/978-3-642-02737-6_37
See this article

Logic and Its Applications

Ramanathan S. Thinniyam
Lecture Notes in Computer Science, Logic and Its Applications 10119 211 (2017)
DOI: 10.1007/978-3-662-54069-5_16
See this article

Logical Foundations of Computer Science

R. Ramanujam and R. S. Thinniyam
Lecture Notes in Computer Science, Logical Foundations of Computer Science 9537 331 (2016)
DOI: 10.1007/978-3-319-27683-0_23
See this article

Definability in the structure of words with the inclusion relation

Oleg V. Kudinov, Victor L. Selivanov and Lyudmila V. Yartseva
Siberian Mathematical Journal 51 (3) 456 (2010)
DOI: 10.1007/s11202-010-0047-y
See this article

Temporal logics on strings with prefix relation

Stéphane Demri and Morgan Deters
Journal of Logic and Computation 26 (3) 989 (2016)
DOI: 10.1093/logcom/exv028
See this article

The quotient algebra of labeled forests modulo h-equivalence

V. L. Selivanov
Algebra and Logic 46 (2) 120 (2007)
DOI: 10.1007/s10469-007-0011-5
See this article

Computation and Logic in the Real World

Oleg V. Kudinov and Victor L. Selivanov
Lecture Notes in Computer Science, Computation and Logic in the Real World 4497 436 (2007)
DOI: 10.1007/978-3-540-73001-9_45
See this article

Language and Automata Theory and Applications

Jan-Henrik Altenbernd
Lecture Notes in Computer Science, Language and Automata Theory and Applications 5196 40 (2008)
DOI: 10.1007/978-3-540-88282-4_6
See this article

Mathematical Theory and Computational Practice

Oleg V. Kudinov and Victor L. Selivanov
Lecture Notes in Computer Science, Mathematical Theory and Computational Practice 5635 290 (2009)
DOI: 10.1007/978-3-642-03073-4_30
See this article

Logical Approaches to Computational Barriers

Oleg V. Kudinov and Victor L. Selivanov
Lecture Notes in Computer Science, Logical Approaches to Computational Barriers 3988 289 (2006)
DOI: 10.1007/11780342_31
See this article

Programs, Proofs, Processes

Oleg V. Kudinov, Victor L. Selivanov and Lyudmila V. Yartseva
Lecture Notes in Computer Science, Programs, Proofs, Processes 6158 246 (2010)
DOI: 10.1007/978-3-642-13962-8_28
See this article

Foundations of Software Science and Computation Structures

Dietrich Kuske and Georg Zetzsche
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 11425 348 (2019)
DOI: 10.1007/978-3-030-17127-8_20
See this article

Definability in first-order theories of graph orderings ⋆

Ramanathan S Thinniyam and R Ramanujam
Journal of Logic and Computation 30 (1) 403 (2020)
DOI: 10.1093/logcom/exaa017
See this article

Computer Science – Theory and Applications

Dietrich Kuske
Lecture Notes in Computer Science, Computer Science – Theory and Applications 12159 289 (2020)
DOI: 10.1007/978-3-030-50026-9_21
See this article