scientific article
From MaRDI portal
Publication:3851570
zbMath0418.68001MaRDI QIDQ3851570
No author found.
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)
Related Items
On computing discretized Ricci curvatures of graphs: local algorithms and (localized) fine-grained reductions ⋮ Design and verification of pipelined circuits with timed Petri nets ⋮ The Birth of Model Checking ⋮ Online edge coloring of paths and trees with a fixed number of colors ⋮ Online two-way trading: randomization and advice ⋮ A New Heuristic for Minimum Weight Triangulation ⋮ A path integral approach to data structure evolution ⋮ How long it takes for an ordinary node with an ordinary ID to output? ⋮ Fifty years of Hoare's logic ⋮ Lower Bounds for Number-in-Hand Multiparty Communication Complexity, Made Easy ⋮ Beep-and-sleep: message and energy efficient set cover ⋮ Streaming \(k\)-mismatch with error correcting and applications ⋮ Guessing fractions of online sequences ⋮ On randomized algorithms for the majority problem ⋮ LTL-Specification of Bounded Counter Machines ⋮ LTL-Specification of Counter Machines