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

From MaRDI portal
← Older editNewer edit →
ReferenceBot (talk | contribs)
Bots
1,903,984 edits
‎Changed an Item
‎Created claim: Wikidata QID (P12): Q56386810, #quickstatements; #temporary_batch_1722235777118
Property / Wikidata QID
 
Property / Wikidata QID: Q56386810 / rank
 
Normal rank

Revision as of 07:50, 29 July 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=36816757"
    Powered by MediaWiki