- Titel
- The 38th International Workshop on Unification UNIF 2024
- Untertitel
- Workshop Informal Proceedings
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-926315
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 24-04
- Erstveröffentlichung
- 2024
- DOI
- https://doi.org/10.25368/2024.121
- Abstract (EN)
- This volume contains the contributions presented at the 38th International Workshop on Unification (UNIF 2024). UNIF 2024 was a satellite event of the Conference on Automated Deduction (CADE), affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024). It took place on July 2, 2024, in Nancy, France.
- Freie Schlagwörter (EN)
- Unification Theory
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- HerausgeberIn
- Oliver Fernández Gil
- Santiago Escobar
- Herausgeber (Institution)
- Technische Universität Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-926315
- Veröffentlichungsdatum Qucosa
- 18.07.2024
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0