Gerd G. Hillebrand
- Undecidable boundedness problems for datalog programs
1995/11/01 by Gerd G Hillebrand, Gerd G. Hillebrand, Paris C. Kanellakis +5 · 1 citation
Computer Science · Mathematics · #Algorithm #Arity #Bounded function #Combinatorics #Complexity and Algorithms in Graphs #Computer science #Datalog #Decidability #Discrete mathematics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Partition (number theory) #Predicate (mathematical logic) #Programming language #Turing machine #Undecidable problem