4. TAMC 2007:
Shanghai, China Jin-yi Cai , S. Barry Cooper , Hong Zhu (Eds.):
Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings.
Lecture Notes in Computer Science 4484 Springer 2007, ISBN 978-3-540-72503-9 Plenary Lectures
export record as
dblp key:
export record as
dblp key:
Miklós Ajtai :
Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures.
13-33
Contributed Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Angsheng Li :
Elementary Differences Among Jump Hierarchies.
79-88
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jun Tarui :
Finding a Duplicate and a Missing Item in a Stream.
128-135
export record as
dblp key:
Boting Yang ,
Yi Cao :
Directed Searching Digraphs: Monotonicity and Complexity.
136-147
export record as
dblp key:
export record as
dblp key:
Rongquan Feng ,
Hongfeng Wu :
Encapsulated Scalar Multiplications and Line Functions in the Computation of Tate Pairing.
159-170
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yun Fan :
There is an Sw-Cuppable Strongly c.e. Real.
212-221
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Xuehou Tan :
Searching a Polygonal Region by Two Guards.
262-273
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Iordanis Kerenidis :
Quantum Multiparty Communication Complexity and Circuit Lower Bounds.
306-317
export record as
dblp key:
Feng Liu ,
Keqin Feng :
Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions.
318-329
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sushmita Gupta :
Feedback Arc Set Problem in Bipartite Tournaments.
354-361
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Zhenhua Duan ,
Cong Tian :
Decidability of Propositional Projection Temporal Logic with Infinite Models.
521-532
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yingchao Zhao ,
Shang-Hua Teng :
Combinatorial and Spectral Aspects of Nearest Neighbor Graphs in Doubling Dimensional and Nearly-Euclidean Spaces.
554-565
export record as
dblp key:
Mingji Xia :
Maximum Edge-Disjoint Paths Problem in Planar Graphs.
566-572
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Marc Thurley :
Kernelizations for Parameterized Counting Problems.
703-714
export record as
dblp key:
export record as
dblp key:
Peng Zhang :
An Approximation Algorithm to the k -Steiner Forest Problem.
728-737
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
