A System of Interaction and Structure III: The Complexity of BV and Pomset Logic.

Lê Thành Dung Nguyên Lutz Straßburger

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

human computer interaction
worst case
user interaction
structural information
image sequences
multi agent
natural language
logic programming
hierarchical structure
structural properties
space complexity