- On-line maintenance of triconnected components with SPQR-trees
1996/04/01 by Giuseppe Di Battista, G. Di Battista, R. Tamassia +1 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Ackermann function #Algorithms and Data Compression #Biconnected graph #Combinatorics #Computer science #DNA and Biological Computing #Disjoint sets #Geometry #Graph #Inverse #Line graph #Mathematics #Tree (set theory) #VLSI and Analog Circuit Testing #Vertex (graph theory)
- Recursive Star-Tree Parallel Data Structure
1993/04/01 by Omer Berkman, Uzi Vishkin · 4 citations
Computer Science · Biochemistry, Genetics and Molecular Biology · Mathematics · #Algorithms and Data Compression #Network Packet Processing and Optimization #DNA and Biological Computing #Ackermann function #Recursion (computer science) #Parallel algorithm #Star (game theory) #Generalization #Computer science #Tree (set theory) #Inverse #Binary logarithm #Data structure #Function (biology) #Combinatorics #Computation #Binary tree #Discrete mathematics #Algorithm #Mathematics
- Maintaining bridge-connected and biconnected components on-line
1992/06/01 by Jeffery Westbrook, Robert E. Tarjan · 8 citations
Computer Science · Mathematics · #Ackermann function #Advanced Graph Theory Research #Algorithm #Algorithms and Data Compression #Biconnected graph #Combinatorics #Computer science #Data Management and Algorithms #Data structure #Discrete mathematics #Graph #Graph power #Inverse #Line graph #Mathematics #Theory of computation #Undirected graph #Vertex (graph theory)
- A note on the Entscheidungsproblem
1936/03/01 by Alonzo Church · 13 citations
Computer Science · Mathematics · #Ackermann function #Advanced Algebra and Logic #Algebra over a field #Algorithm #Arithmetic #Arithmetic function #Character (mathematics) #Computer science #Discrete mathematics #Enumeration #Formal Methods in Verification #Function (biology) #Inverse #Logic, Reasoning, and Knowledge #Mathematics #Primitive recursive function #Pure mathematics #Recursion (computer science) #Representation (politics) #Symbol (formal)