Perpetuality for full and safe composition (in a constructive setting)
International audience
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Object |
| Language: | English |
| Published: |
HAL CCSD
2008
|
| Subjects: | |
| Online Access: | https://hal.archives-ouvertes.fr/hal-00524782 |
| id |
ftccsdartic:oai:HAL:hal-00524782v1 |
|---|---|
| record_format |
openpolar |
| spelling |
ftccsdartic:oai:HAL:hal-00524782v1 2023-05-15T16:45:14+02:00 Perpetuality for full and safe composition (in a constructive setting) Kesner, Delia Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) Reykjavik, Iceland 2008-07-06 https://hal.archives-ouvertes.fr/hal-00524782 en eng HAL CCSD hal-00524782 https://hal.archives-ouvertes.fr/hal-00524782 Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP) International Colloquium on Automata, Languages and Programming (ICALP) https://hal.archives-ouvertes.fr/hal-00524782 International Colloquium on Automata, Languages and Programming (ICALP), Jul 2008, Reykjavik, Iceland. pp.311-322 [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] info:eu-repo/semantics/conferenceObject Conference papers 2008 ftccsdartic 2020-12-26T07:10:32Z International audience Conference Object Iceland Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
| institution |
Open Polar |
| collection |
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
| op_collection_id |
ftccsdartic |
| language |
English |
| topic |
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] |
| spellingShingle |
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] Kesner, Delia Perpetuality for full and safe composition (in a constructive setting) |
| topic_facet |
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] |
| description |
International audience |
| author2 |
Preuves, Programmes et Systèmes (PPS) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) |
| format |
Conference Object |
| author |
Kesner, Delia |
| author_facet |
Kesner, Delia |
| author_sort |
Kesner, Delia |
| title |
Perpetuality for full and safe composition (in a constructive setting) |
| title_short |
Perpetuality for full and safe composition (in a constructive setting) |
| title_full |
Perpetuality for full and safe composition (in a constructive setting) |
| title_fullStr |
Perpetuality for full and safe composition (in a constructive setting) |
| title_full_unstemmed |
Perpetuality for full and safe composition (in a constructive setting) |
| title_sort |
perpetuality for full and safe composition (in a constructive setting) |
| publisher |
HAL CCSD |
| publishDate |
2008 |
| url |
https://hal.archives-ouvertes.fr/hal-00524782 |
| op_coverage |
Reykjavik, Iceland |
| genre |
Iceland |
| genre_facet |
Iceland |
| op_source |
Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP) International Colloquium on Automata, Languages and Programming (ICALP) https://hal.archives-ouvertes.fr/hal-00524782 International Colloquium on Automata, Languages and Programming (ICALP), Jul 2008, Reykjavik, Iceland. pp.311-322 |
| op_relation |
hal-00524782 https://hal.archives-ouvertes.fr/hal-00524782 |
| _version_ |
1766035446323740672 |