Zeno, Hercules, and the Hydra (Q5277917): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: Wikidata QID (P12): Q130870016, #quickstatements; #temporary_batch_1733738735016
 
(6 intermediate revisions by 5 users not shown)
Property / author
 
Property / author: James Worrell / rank
Normal rank
 
Property / author
 
Property / author: James Worrell / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1145/2874774 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2280377303 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using forward reachability analysis for verification of lossy channel systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2004 - Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4230338 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On termination and invariance for faulty channel machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unreliable channels are easier to verify than perfect channels / rank
 
Normal rank
Property / cites work
 
Property / cites work: Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Well-structured transition systems everywhere! / rank
 
Normal rank
Property / cites work
 
Property / cites work: Long finite sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sooner is safer than later / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4251919 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Parametric Ordinal-Recursive Complexity of Post Embedding Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Accessible Independence Results for Peano Arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian / rank
 
Normal rank
Property / cites work
 
Property / cites work: Demystifying Reachability in Vector Addition Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hierarchies of number-theoretic functions. I / 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: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the decidability and complexity of Metric Temporal Logic over finite words / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3644388 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity Hierarchies beyond Elementary / rank
 
Normal rank
Property / cites work
 
Property / cites work: Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q130870016 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:07, 9 December 2024

scientific article; zbMATH DE number 6744235
Language Label Description Also known as
English
Zeno, Hercules, and the Hydra
scientific article; zbMATH DE number 6744235

    Statements

    Zeno, Hercules, and the Hydra (English)
    0 references
    0 references
    0 references
    0 references
    12 July 2017
    0 references
    metric temporal logic
    0 references
    channel machines
    0 references
    complexity hierarchies
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references