Functions with local state: regularity and undecidability (Q557802): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4823132 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4218919 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263830 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Visibly pushdown languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regular-Language Semantics for a Call-by-Value Programming Language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2754137 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The regular-language semantics of second-order idealized ALGOL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata, Languages and Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Game theoretic analysis of call-by-value computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5592246 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computation Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5590814 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3202991 / rank
 
Normal rank
Property / cites work
 
Property / cites work: About the undecidability of program equivalence in finitary languages with state / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computational Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2704328 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Reductions of the General Combinatorial Decision Problem / rank
 
Normal rank

Revision as of 12:07, 10 June 2024

scientific article
Language Label Description Also known as
English
Functions with local state: regularity and undecidability
scientific article

    Statements

    Identifiers