Q5091265 (Q5091265): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1708663
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / author
 
Property / author: Anthony Widjaja Lin / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical queries over views / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definable relations and first-order query languages over strings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3859267 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability and Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5691140 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision problems among the main subfamilies of rational relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3396589 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transforming structures by set interpretations / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Relations Defined by Generalized Finite Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multitape one-way nonwriting automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synchronized rational relations of finite and infinite words / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3312199 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2754149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: String solving with word equations and transducers: towards a logic for analysing mutation XSS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision problems for subclasses of rational relations over finite and infinite words / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5377226 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transductions des langages de Chomsky / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3644388 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3392275 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A regularity test for pushdown machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recurrent Reachability Analysis in Regular Model Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regularity and Related Problems for Deterministic Pushdown Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monadic Decomposition / rank
 
Normal rank

Latest revision as of 16:41, 29 July 2024

scientific article; zbMATH DE number 7561596
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7561596

    Statements

    0 references
    0 references
    0 references
    0 references
    0 references
    21 July 2022
    0 references
    transducers
    0 references
    automata
    0 references
    synchronized rational relations
    0 references
    Ramsey theory
    0 references
    variable independence
    0 references
    automatic structures
    0 references

    Identifiers