×

Found 17 Documents (Results 1–17)

Variant-based satisfiability in initial algebras. (English) Zbl 1396.68074

Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 3-34 (2016).
MSC:  68Q65 18C10 68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI

Metalevel algorithms for variant satisfiability. (English) Zbl 1367.68256

Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 167-184 (2016).
MSC:  68T15 18C10 68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Term equational systems and logics (extended abstract). (English) Zbl 1286.03120

Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 171-192 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Relating two categorical models of term rewriting. (English) Zbl 1508.68146

Hsiang, Jieh (ed.), Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5–7, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 914, 225-240 (1995).
PDFBibTeX XMLCite
Full Text: DOI

Holomorphic models of exponential types in linear logic. (English) Zbl 1509.18020

Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics, 9th international conference, New Orleans, LA, USA, April 7–10, 1993. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 802, 474-512 (1994).
MSC:  18M45 03F52
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