Concurrency Makes Simple Theories Hard
type: Dataset
description: International audience
issued: 2026-05-25T03:04:46.094132
language: en
modified: 2026-05-25T03:04:46.094137
contact point: Organization
  fn: CCSD
keyword: asynchronous-product
keyword: conference-papers
keyword: feferman-vaught
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-cccomputer-science-cscomputational-complexity-cscc
keyword: infoinfo-dscomputer-science-csdata-structures-and-algorithms-csds
keyword: modal-logic
keyword: model-checking
keyword: nonelementary-lower-bounds
keyword: pushdown-systems
landing page: Symposium on Theoretical Aspects of Computer Science

Concurrency Makes Simple Theories Hard
type: Distribution
format: HTML
issued: 2026-05-25T03:04:46.107666
modified: 2026-05-25T03:04:46.060782
access URL: https://hal.science/hal-00678192

test_moissonnage_selune
type: Agent