Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
type: Dataset
description: International audience
keyword: automata
keyword: conference-papers
keyword: context-free-language
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-dmcomputer-science-csdiscrete-mathematics-csdm
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: locally-testable-language
keyword: locally-threshold-testable-language
keyword: logic
keyword: separation-problem
issued: 2026-05-06T08:04:00.611272
modified: 2026-05-06T08:04:00.611276
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
type: Distribution
format: HTML
access URL: https://hal.science/hal-00948961
issued: 2026-05-06T08:04:00.612593
modified: 2026-05-06T08:04:00.593657