×

Found 8 Documents (Results 1–8)

Leaving the nest: nominal techniques for variables with interleaving scopes. (English) Zbl 1373.68179

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 374-389 (2015).
MSC:  68N30 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Game semantics in the nominal model. (English) Zbl 1342.68195

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 173-189 (2012).
MSC:  68Q55 03B70 91A80
PDFBibTeX XMLCite
Full Text: DOI

Nominal renaming sets. (English) Zbl 1182.03065

Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 158-173 (2008).
MSC:  03B70 03G30 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field