×

Found 36 Documents (Results 1–36)

Connecting constrained constructor patterns and matching logic. (English) Zbl 1517.68157

Escobar, Santiago (ed.) et al., Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20–22, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12328, 19-37 (2020).
MSC:  68Q42 03B70
PDFBibTeX XMLCite
Full Text: DOI

Birkhoff completeness for hybrid-dynamic first-order logic. (English) Zbl 1468.03033

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 277-293 (2019).
MSC:  03B70 03B45
PDFBibTeX XMLCite
Full Text: DOI

Equational formulas and pattern operations in initial order-sorted algebras. (English) Zbl 1362.68053

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 36-53 (2015).
PDFBibTeX XMLCite
Full Text: DOI

The rewriting logic semantics project: a progress report. (English) Zbl 1342.68198

Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 1-37 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Methods for proving termination of rewriting-based programming languages by transformation. (English) Zbl 1337.68067

Almendros-Jiménez, Jesús M (ed.), Proceedings of the 8th Spanish conference on programming and computer languages (PROLE 2008), Gijón, Spain, October 8–10, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 248, 93-113 (2009).
PDFBibTeX XMLCite
Full Text: DOI

All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (English) Zbl 1115.68046

Lecture Notes in Computer Science 4350. Berlin: Springer (ISBN 978-3-540-71940-3/pbk). xxii, 797 p. (2007).
PDFBibTeX XMLCite

A rewriting logic sampler. (English) Zbl 1169.03349

Dang Van Hung (ed.) et al., Theoretical aspects of computing – ICTAC 2005. Second international colloquium, Hanoi, Vietnam, October 17–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29107-5/pbk). Lecture Notes in Computer Science 3722, 1-28 (2005).
PDFBibTeX XMLCite
Full Text: DOI

What is a concept? (English) Zbl 1132.68059

Dau, Frithjof (ed.) et al., Conceptual structures: Common semantics for sharing knowledge. 13th international conference on conceptual structures, ICCS 2005, Kassel, Germany, July 17–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27783-8/pbk). Lecture Notes in Computer Science 3596. Lecture Notes in Artificial Intelligence, 52-77 (2005).
PDFBibTeX XMLCite

Generalized rewrite theories. (English) Zbl 1039.03020

Baeten, Jos C. M. (ed.) et al., Automata, languages and programming. 30th international colloquium, ICALP 2003, Eindhoven, The Netherland, June 30 – July 4, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40493-7/pbk). Lect. Notes Comput. Sci. 2719, 252-266 (2003).
MSC:  03B70 68N30 68Q42
PDFBibTeX XMLCite
Full Text: Link

Incompleteness of behavioral logics. (English) Zbl 0959.03506

Reichel, Horst (ed.), CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25-26, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 33, 19 p., electronic only (2000).
MSC:  03B60 03B70 03D15
PDFBibTeX XMLCite

Bisimulation and hidden algebra. (English) Zbl 1126.08300

Jacobs, Bart (ed.) et al., CMCS ‘99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS ‘99. Amsterdam, the Netherlands, March 20–21, 1999. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 19, electronic paper No. 13 (1999).
PDFBibTeX XMLCite
Full Text: DOI

Mapping tile logic into rewriting logic. (English) Zbl 0903.08010

Parisi Presicce, Francesco (ed.), Recent trends in algebraic development techniques. 12th international workshop, WADT ’97, Tarquinia, Italy, June 3–7, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1376, 62-91 (1998).
MSC:  08A70 68Q65 18C10 68Q10 68Q55 18D05 18D10
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software