Logic and branching automata
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | 38nd International Symposium on Mathematical Foundations of Computer Science |
| Author | Bedon, Nicolas |
| Maintainer | CCSD |
| Last Updated | May 8, 2026, 02:09 (UTC) |
| Created | May 8, 2026, 02:09 (UTC) |
| Identifier | hal-00909753 |
| Language | en |
| contributor | Equipe Combinatoire et algorithmes (LITIS - CA) ; Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS) ; Université Le Havre Normandie (ULH) ; Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN) ; Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie) ; Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Université Le Havre Normandie (ULH) ; Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN) ; Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie) ; Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA) |
| coverage | Klosterneuburg, Austria |
| creator | Bedon, Nicolas |
| date | 2013-08-26T00:00:00 |
| harvest_object_id | 08a7fb7d-83cb-4674-900b-14b0521a90cd |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2025-11-13T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/arxiv/1507.02890 |
| set_spec | type:COMM |