Titlebook: Computer Science - Theory and Applications; 9th International Co Edward A. Hirsch,Sergei O. Kuznetsov,Nikolay K. Ve Conference proceedings

鉆孔

Jocose

Joshua A. Goldberg,Hagai Bergmanthm for . and, thanks to its simplicity, became one of the textbook examples of an application of the iterative compression principle. In our work we break the 2.-barrier for . and present an .-time branching algorithm.

使成核

Joshua A. Goldberg,Hagai Bergmanf programs with singly-linked lists. When the number of program variables is fixed, the complexity drops to polynomial time. All the fragments we consider contain the magic wand operator and first-order quantification over a single variable.