-
Some lower bounds in parameterized AC0
Author: Yijia Chen, Jörg Flum
Journal: INFORMATION AND COMPUTATION, 2019, Vol., , DOI:10.1016/j.ic.2019.03.008
-
Counting hypergraph matchings up to uniqueness threshold
Author: Renjie Song, Yitong Yin, Jinman Zhao
Journal: INFORMATION AND COMPUTATION, 2019, Vol., , DOI:10.1016/j.ic.2019.02.001
-
A partial solution to an open problem of Amadio and Curien
Author: Xiaoyong Xi, Jinbo Yang, Hui Kou
Journal: INFORMATION AND COMPUTATION, 2018, Vol.260, 126-134, DOI:10.1016/j.ic.2018.04.003
-
Accepting runs in a two-way finite automaton
Author: Oscar H. Ibarra, Zhe Dang, Qin Li
Journal: INFORMATION AND COMPUTATION, 2018, Vol.260, 1-8, DOI:10.1016/j.ic.2018.03.002
-
Complexity classification of the six-vertex model
Author: Jin-Yi Cai, Zhiguo Fu, Mingji Xia
Journal: INFORMATION AND COMPUTATION, 2018, Vol.259, 130-141, DOI:10.1016/j.ic.2018.01.003
-
Analyzing pushdown systems with stack manipulation
Author: Fu Song
Journal: INFORMATION AND COMPUTATION, 2018, Vol.259, 41-71, DOI:10.1016/j.ic.2017.12.003
-
Probabilistic bisimilarity as testing equivalence
Author: Yuxin Deng, Yuan Feng
Journal: INFORMATION AND COMPUTATION, 2017, Vol.257, 58-64, DOI:10.1016/j.ic.2017.09.014
-
Computation as social agency: What, how and who
Author: Johan van Benthem
Journal: INFORMATION AND COMPUTATION, 2018, Vol.261, 519-535, DOI:10.1016/j.ic.2017.09.009
