Constructing Infinite Models Represented by Tree Automata
type: Dataset
description: International audience
issued: 2026-05-07T03:51:10.480924
language: en
modified: 2026-05-07T03:51:10.480928
contact point: Organization
  fn: CCSD
keyword: 68t15-03b35
keyword: infinite-models
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: journal-articles
keyword: model-building
keyword: tree-automata
landing page: 1012-2443

Constructing Infinite Models Represented by Tree Automata
type: Distribution
format: HTML
issued: 2026-05-07T03:51:10.486051
modified: 2026-05-07T03:51:10.469487
access URL: https://hal.science/hal-00940621

test_moissonnage_selune
type: Agent