×

Found 9 Documents (Results 1–9)

Confluence and commutation for nominal rewriting systems with atom-variables. (English) Zbl 07496641

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 56-73 (2021).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Completeness in PVS of a nominal unification algorithm. (English) Zbl 1394.68348

Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 57-74 (2016).
MSC:  68T15 03B35 68Q42
PDFBibTeX XMLCite
Full Text: DOI

A flexible framework for visualisation of computational properties of general explicit substitutions calculi. (English) Zbl 1347.68058

Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 41-54 (2011).
MSC:  68N18 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software