Language equations are mathematical statements that resemble numerical equations, but the variables assume values of formal languages rather than… (More)

(More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

Both matching and unification in the Description Logic FL0 can be reduced to solving certain formal language equations. In… (More)

Is this relevant?

2008

2008

- Alexander Okhotin, Artur Jez
- STACS
- 2008

Systems of equations over sets of natural numbers (or, equivalently, language equations over a one-letter alphabet) of the form… (More)

Is this relevant?

2008

2008

- Carlos Juzarte Rolo, António Joaquim Serralheiro
- PROPOR
- 2008

Mathematic equations are, of necessity, a must in any mathematic textbooks but also in physics, communications and, in general… (More)

Is this relevant?

2005

2005

- Lila Kari, Petr Sosík
- Theor. Comput. Sci.
- 2005

Word and language operations on trajectories provide a general framework for the study of properties of sequential insertion and… (More)

Is this relevant?

2004

2004

- C. C. Huang, S. S. Yu
- 2004

In this paper, solutions of the equation LB = AL in the monoid of languages are considered. Characterizations of words u, v and… (More)

Is this relevant?

2004

2004

The paper addresses the problem of solving equations over languages, that model the problem of synthesizing an unknown component… (More)

Is this relevant?

2004

2004

The problem of designing a component which asynchronously communicates with a known context such that the overall system conforms… (More)

Is this relevant?

2003

2003

Consider the problem of designing a component that combined with a known part of a system, called the context, conforms to a… (More)

Is this relevant?

2001

2001

- Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
- IEEE/ACM International Conference on Computer…
- 2001

The problem of designing a component that combined with a known part of a system, conforms to a given overall specification… (More)

Is this relevant?

2001

2001

The perspective of this paper is to compare mathematical models for the evolutionary dynamics of genomes and languages. The… (More)

Is this relevant?