Guarded Variable Automata over Infinite Alphabets
type: Dataset
description: 29 pages. arXiv admin note: text overlap with arXiv:1302.4205
landing page: https://inria.hal.science/hal-00914779
keyword: infoeu-reposemanticspreprint
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: preprints-working-papers-
issued: 2026-05-07T22:31:28.300568
modified: 2026-05-07T22:31:28.300572
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Guarded Variable Automata over Infinite Alphabets
type: Distribution
format: HTML
access URL: https://inria.hal.science/hal-00914779
issued: 2026-05-07T22:31:28.302389
modified: 2026-05-07T22:31:28.295282