Baidu
map

THE PARAMETERIZED SPACE COMPLEXITY OF MODEL-CHECKING BOUNDED VARIABLE FIRST-ORDER LOGIC

Chen, YJ; Elberfeld, M; Muller, M

Chen, YJ (reprint author), Fudan Univ, Sch Comp Sci, Shanghai, Peoples R China.

LOGICAL METHODS IN COMPUTER SCIENCE, 2019; 15 (3):

Abstract

The parameterized model-checking problem for a class of first-order sentences (queries) asks to decide whether a given sentence from the class holds t......

Full Text Link


Baidu
map
Baidu
map
Baidu
map