Q5090917 (Q5090917): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.4230/LIPIcs.DISC.2018.25 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1803.09553 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4539516 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Approximate proof-labeling schemes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3651735 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4967211 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4598260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local Distributed Decision / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Towards a complexity theory for local distributed computing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Landscape of Communication Complexity Classes. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3179347 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-Interactive Proofs of Proximity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distributed verification of minimum spanning trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof labeling schemes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof labeling schemes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Worst-case equilibria / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Communication Complexity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-Deterministic Graph Property Testing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Space-time tradeoffs for distributed verification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithms, games, and the internet / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof-Labeling Schemes: Broadcast, Unicast and in Between / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Error-sensitive proof-labeling schemes / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.4230/LIPICS.DISC.2018.25 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:53, 30 December 2024
scientific article; zbMATH DE number 7561277
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7561277 |
Statements
21 July 2022
0 references
proof-labeling schemes
0 references
distributed verification
0 references
non-determinism
0 references
local proofs
0 references