\(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483): Difference between revisions

From MaRDI portal
← Older edit
‎Created claim: Wikidata QID (P12): Q56386810, #quickstatements; #temporary_batch_1722235777118
‎Created claim: DBLP publication ID (P1635): journals/tcs/Senizergues01, #quickstatements; #temporary_batch_1732528864361
 
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/tcs/Senizergues01 / rank
 
Normal rank

Latest revision as of 11:02, 25 November 2024

scientific article
Language Label Description Also known as
English
\(L(A)=L(B)\)? decidability results from complete formal systems
scientific article

    Statements

    title
    \(L(A)=L(B)\)? decidability results from complete formal systems (English)
    0 references
    publication date
    12 December 2000
    0 references
    zbMATH Keywords
    deterministic pushdown automata
    0 references
    rational series
    0 references
    finite-dimensional vector spaces
    0 references
    matrix semi-groups
    0 references
    complete formal systems
    0 references
    cites work
    Q4385528
    0 references
    Q4846257
    0 references
    Q3853135
    0 references
    Q5720480
    0 references
    Q5526125
    0 references
    Q5639639
    0 references
    Q4385531
    0 references
    Q4146243
    0 references
    Q4198075
    0 references
    Q5517672
    0 references
    Q4134981
    0 references
    Q4116078
    0 references
    Q5573961
    0 references
    Q3947147
    0 references

    Identifiers

    zbMATH DE Number
    1542288
    0 references
    Wikidata QID
    Q56386810
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1589483&oldid=37928533"
    Powered by MediaWiki