Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application (Q5863634): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
Property / cites work
 
Property / cites work: The algorithmics of bisimilarity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deciding bisimilarity and similarity for probabilistic processes. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulation relations for weighted automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite nondeterministic automata: simulation and minimality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mergible states in large NFA / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4452062 / rank
 
Normal rank
Property / cites work
 
Property / cites work: NFA reduction algorithms by means of regular inequalities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2760243 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Determinization of weighted finite automata over strong bimonoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulations for fuzzy automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nondeterministic automata: equivalence, bisimulations, and uniform relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computation of the greatest simulations and bisimulations between fuzzy automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Factorization of Fuzzy Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy relation equations and reduction of fuzzy automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulations for weighted automata over an additively idempotent semiring / rank
 
Normal rank
Property / cites work
 
Property / cites work: An efficient algorithm for computing bisimulation equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of weighted automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly linear systems of fuzzy relation inequalities and their applications: A brief survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly linear systems of fuzzy relation inequalities: the heterogeneous case / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4708581 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reducing NFAs by invariant equivalences. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory Is Forever / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorial Pattern Matching / rank
 
Normal rank
Property / cites work
 
Property / cites work: An improved algorithm for determinization of weighted and fuzzy automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Further improvements of determinization methods for fuzzy finite automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: CCS expressions, finite state processes, and three problems of equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3431481 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of communicating systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three Partition Refinement Algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3907077 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5541339 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2968353 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduction of fuzzy automata by means of fuzzy quasi-orders / rank
 
Normal rank
Property / cites work
 
Property / cites work: Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical characterizations of simulation and bisimulation for fuzzy transition systems / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2298/fil1909809s / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3008545762 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:45, 30 July 2024

scientific article; zbMATH DE number 7536136
Language Label Description Also known as
English
Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application
scientific article; zbMATH DE number 7536136

    Statements

    Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application (English)
    0 references
    0 references
    0 references
    0 references
    3 June 2022
    0 references
    matrices over semirings
    0 references
    Boolean matrices
    0 references
    additively idempotent semirings
    0 references
    partition refinement
    0 references
    weighted automata
    0 references
    determinization
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers