×

Found 119 Documents (Results 1–100)

Strategies in conditional narrowing modulo SMT plus axioms. (English) Zbl 07729468

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 1-20 (2023).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Variant-based equational anti-unification. (English) Zbl 1522.68251

Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 44-60 (2022).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). (English) Zbl 07628207

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 529-540 (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

On ground convergence and completeness of conditional equational program hierarchies. (English) Zbl 1514.68039

Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 191-211 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Canonical narrowing with irreducibility and SMT constraints as a generic symbolic protocol analysis method. (English) Zbl 1517.94128

Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 45-64 (2022).
MSC:  94A60 68P25
PDFBibTeX XMLCite
Full Text: DOI

Variant-based equational unification under constructor symbols. (English) Zbl 07455704

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 38-51 (2020).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

Most general variant unifiers. (English) Zbl 07453112

Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 154-167 (2019).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

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

Use of logical models for proving operational termination in general logics. (English) Zbl 1367.68068

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, 26-46 (2016).
MSC:  68N30 03B70 68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Order-sorted rewriting and congruence closure. (English) Zbl 1475.68142

Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 493-509 (2016).
MSC:  68Q42
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

Symbolic protocol analysis with disequality constraints modulo equational theories. (English) Zbl 1437.94060

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 238-261 (2015).
MSC:  94A60 68N30 03C05
PDFBibTeX XMLCite
Full Text: DOI

Modularity of ontologies in an arbitrary institution. (English) Zbl 1321.68418

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 361-379 (2015).
MSC:  68T30 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Two decades of Maude. (English) Zbl 1321.68007

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 232-254 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Sentence-normalized conditional narrowing modulo in rewriting logic and Maude. (English) Zbl 1321.68324

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 48-71 (2015).
MSC:  68Q42 03B70
PDFBibTeX XMLCite
Full Text: DOI

José Meseguer: scientist and friend extraordinaire. (English) Zbl 1321.01052

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 1-47 (2015).
MSC:  01A70 68-03
PDFBibTeX XMLCite
Full Text: DOI

An institution for Object-Z with inheritance and polymorphism. (English) Zbl 1453.68043

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 134-154 (2015).
MSC:  68N30 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool. (English) Zbl 1407.68302

Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 603-629 (2014).
MSC:  68Q60 68Q42 68Q85 68T15
PDFBibTeX XMLCite
Full Text: DOI

Order-sorted equational unification revisited. (English) Zbl 1291.68220

Kniesel, Günter (ed.) et al., 9th international workshop on rule-based programming (Rule 2008), Hagenberg Castle, Hagenberg, Austria, July 14–18, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 290, 37-50 (2012).
MSC:  68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI

Simulation and verification of synchronous set relations in rewriting logic. (English) Zbl 1349.68105

Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 60-75 (2011).
MSC:  68Q42 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Probabilistic real-time rewrite theories and their expressive power. (English) Zbl 1348.68080

Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 60-79 (2011).
MSC:  68Q42 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

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

Integrating Maude into Hets. (English) Zbl 1308.68075

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 60-75 (2011).
MSC:  68Q65 68Q42 68Q60
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

Order-sorted generalization. (English) Zbl 1347.68193

Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 27-38 (2009).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI

Operational termination of membership equational programs: the order-sorted way. (English) Zbl 1347.68198

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 207-225 (2009).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI

Variant narrowing and equational unification. (English) Zbl 1347.68194

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 103-119 (2009).
MSC:  68Q42 68Q85 94A60
PDFBibTeX XMLCite
Full Text: DOI

A declarative debugger for Maude functional modules. (English) Zbl 1347.68073

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 63-81 (2009).
MSC:  68N30 68Q42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Strategy-based proof calculus for membrane systems. (English) Zbl 1347.68126

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 23-43 (2009).
MSC:  68Q05 68Q10 68Q42 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Rewriting logic specification of membrane systems with promoters and inhibitors. (English) Zbl 1347.68125

Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 5-22 (2009).
MSC:  68Q05 68Q10 68Q42 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions. (English) Zbl 1294.68081

Middeldorp, Aart (ed.), Proceedings of the 8th international workshop on reduction strategies in rewriting and programming (WRS 2008), Castle of Hagenberg, Austria, July 14, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 237, 107-125 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Declarative debugging of rewriting logic specifications. (English) Zbl 1253.68097

Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 308-325 (2009).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

What is a multi-modeling language? (English) Zbl 1253.68225

Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 71-87 (2009).
MSC:  68Q65 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

A modular equational generalization algorithm. (English) Zbl 1185.68219

Hanus, Michael (ed.), Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17–18, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00514-5/pbk). Lecture Notes in Computer Science 5438, 24-39 (2009).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

MTT: The Maude termination tool. (System description). (English) Zbl 1165.68360

Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 313-319 (2008).
MSC:  68N99 68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI

Effectively checking the finite variant property. (English) Zbl 1145.68444

Voronkov, Andrei (ed.), Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70588-8/pbk). Lecture Notes in Computer Science 5117, 79-93 (2008).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Declarative debugging of membership equational logic specifications. (English) Zbl 1143.68363

Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 174-193 (2008).
MSC:  68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI

Narrowing and rewriting logic: from foundations to applications. (English) Zbl 1279.68205

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 5-33 (2007).
MSC:  68Q60 03B70 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Abstraction and completeness for real-time Maude. (English) Zbl 1279.68218

Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 5-27 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Recent advances in real-time Maude. (English) Zbl 1277.68144

Fernández, M. (ed.) et al., Proceedings of the 7th international workshop on rule based programming (RULE 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 1, 65-81 (2007).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite
Full Text: DOI

The Maude LTL model checker. (English) Zbl 1272.68243

Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 162-187 (2004).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software