Logic and branching automata
type: Dataset
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: sp-rational-languages
keyword: acm-f11-models-of-computation-f41-mathematical-logic-f43-formal-languages
keyword: series-parallel-posets
keyword: commutative-monoids
keyword: automata
keyword: presburger-logic
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: monadic-second-order-logic
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: n-free-posets
keyword: infoeu-reposemanticsconferenceobject
landing page: 38nd International Symposium on Mathematical Foundations of Computer Science
description: International audience
issued: 2026-05-08T02:09:31.416394
language: en
modified: 2026-05-08T02:09:31.416399

Logic and branching automata
type: Distribution
access URL: https://hal.science/hal-00909753
format: HTML
issued: 2026-05-08T02:09:31.418550
modified: 2026-05-08T02:09:31.398678

test_moissonnage_selune
type: Agent