Gast ::
Separation and Renaming in Nominal Sets
;
2019
Online
DOI: 10.48550/ARXIV.1906.00763
URL: https://publications.rwth-aachen.de/record/786823/files/1906.00763.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Projekte
Restricted: 
PDF
Externer link: 
Fulltext by arXiv.org
Dokumenttyp
Preprint
Format
online
Sprache
English
Externe Identnummern
arXiv: arXiv:1906.00763
Interne Identnummern
RWTH-2020-03713
Datensatz-ID: 786823
Beteiligte Länder
Germany, UK
Related:
Contribution to a book/Contribution to a conference proceedings
Separation and Renaming in Nominal Sets
28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain / edited by Maribel Fernández, Anca Muscholl
28. EACSL Annual Conference on Computer Science Logic, CSL 2020, BarcelonaBarcelona, Spain, 202001-13 - 16 Jan 2020
Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January, Leibniz international proceedings in informatics 152, 31:1-31:17 (2020) [10.4230/LIPIcs.CSL.2020.31]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
|
The record appears in these collections: |