Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre Observational interpretations of hybrid dynamic logic with binders and silent transitions. (English) Zbl 1528.68224 J. Log. Algebr. Methods Program. 122, Article ID 100698, 19 p. (2021). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{R. Hennicker} et al., J. Log. Algebr. Methods Program. 122, Article ID 100698, 19 p. (2021; Zbl 1528.68224) Full Text: DOI
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 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 \textit{X. Chen} et al., Lect. Notes Comput. Sci. 12328, 19--37 (2020; Zbl 1517.68157) Full Text: DOI
Hamana, Makoto How to prove decidability of equational theories with second-order computation analyser SOL. (English) Zbl 1442.68027 J. Funct. Program. 29, Paper No. e20, 53 p. (2019). MSC: 68N18 03B25 03B40 03B70 18M05 68N15 68N30 68V15 PDFBibTeX XMLCite \textit{M. Hamana}, J. Funct. Program. 29, Paper No. e20, 53 p. (2019; Zbl 1442.68027) Full Text: DOI
Găină, Daniel; Ţuţu, Ionuţ 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 \textit{D. Găină} and \textit{I. Ţuţu}, Lect. Notes Comput. Sci. 11714, 277--293 (2019; Zbl 1468.03033) Full Text: DOI
Lucas, Salvador; Gutiérrez, Raúl Automatic synthesis of logical models for order-sorted first-order theories. (English) Zbl 1398.68095 J. Autom. Reasoning 60, No. 4, 465-501 (2018). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{R. Gutiérrez}, J. Autom. Reasoning 60, No. 4, 465--501 (2018; Zbl 1398.68095) Full Text: DOI Link
Meseguer, José Strict coherence of conditional rewriting modulo axioms. (English) Zbl 1386.68080 Theor. Comput. Sci. 672, 1-35 (2017). MSC: 68Q42 03B70 PDFBibTeX XMLCite \textit{J. Meseguer}, Theor. Comput. Sci. 672, 1--35 (2017; Zbl 1386.68080) Full Text: DOI
Roşu, Grigore Matching logic. (English) Zbl 1448.03019 Log. Methods Comput. Sci. 13, No. 4, Paper No. 28, 61 p. (2017). MSC: 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{G. Roşu}, Log. Methods Comput. Sci. 13, No. 4, Paper No. 28, 61 p. (2017; Zbl 1448.03019) Full Text: DOI arXiv
Găină, Daniel Foundations of logic programming in hybrid logics with user-defined sharing. (English) Zbl 1371.68048 Theor. Comput. Sci. 686, 1-24 (2017). MSC: 68N17 03B70 PDFBibTeX XMLCite \textit{D. Găină}, Theor. Comput. Sci. 686, 1--24 (2017; Zbl 1371.68048) Full Text: DOI
Meseguer, José; Skeirik, Stephen Equational formulas and pattern operations in initial order-sorted algebras. (English) Zbl 1362.68054 Formal Asp. Comput. 29, No. 3, 423-452 (2017). MSC: 68N30 03B70 68N15 68Q45 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Formal Asp. Comput. 29, No. 3, 423--452 (2017; Zbl 1362.68054) Full Text: DOI
Meseguer, José; Skeirik, Stephen 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). MSC: 68N30 03B70 68N15 68Q45 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Lect. Notes Comput. Sci. 9527, 36--53 (2015; Zbl 1362.68053) Full Text: DOI
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José A modular order-sorted equational generalization algorithm. (English) Zbl 1314.68169 Inf. Comput. 235, 98-136 (2014). Reviewer: Temur Kutsia (Linz) MSC: 68Q42 03B70 68N30 68T15 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Inf. Comput. 235, 98--136 (2014; Zbl 1314.68169) Full Text: DOI
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S. The role of logical interpretations in program development. (English) Zbl 1314.68190 Log. Methods Comput. Sci. 10, No. 1, Paper No. 1, 39 p. (2014). MSC: 68Q65 03B70 68N30 PDFBibTeX XMLCite \textit{M. A. Martins} et al., Log. Methods Comput. Sci. 10, No. 1, Paper No. 1, 39 p. (2014; Zbl 1314.68190) Full Text: DOI arXiv
Ţuţu, Ionuţ Comorphisms of structured institutions. (English) Zbl 1284.68417 Inf. Process. Lett. 113, No. 22-24, 894-900 (2013). MSC: 68Q60 68Q65 03B70 03B40 68N30 PDFBibTeX XMLCite \textit{I. Ţuţu}, Inf. Process. Lett. 113, No. 22--24, 894--900 (2013; Zbl 1284.68417) Full Text: DOI
Meseguer, José Twenty years of rewriting logic. (English) Zbl 1267.03043 J. Log. Algebr. Program. 81, No. 7-8, 721-781 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 721--781 (2012; Zbl 1267.03043) Full Text: DOI
Meseguer, José; Roşu, Grigore 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). MSC: 68Q55 03B70 68N30 68Q42 68Q60 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{G. Roşu}, Lect. Notes Comput. Sci. 6914, 1--37 (2011; Zbl 1342.68198) Full Text: DOI
Durán, Francisco; Lucas, Salvador; Meseguer, José 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). MSC: 68N30 03B70 68N15 68Q42 PDFBibTeX XMLCite \textit{F. Durán} et al., Electron. Notes Theor. Comput. Sci. 248, 93--113 (2009; Zbl 1337.68067) Full Text: DOI
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José A rewriting logic approach to operational semantics. (English) Zbl 1165.68041 Inf. Comput. 207, No. 2, 305-340 (2009). MSC: 68Q55 03B70 68Q42 PDFBibTeX XMLCite \textit{T. F. Şerbănuţă} et al., Inf. Comput. 207, No. 2, 305--340 (2009; Zbl 1165.68041) Full Text: DOI
Schröder, Lutz; Mossakowski, Till HasCasl: integrated higher-order specification and program development. (English) Zbl 1172.68040 Theor. Comput. Sci. 410, No. 12-13, 1217-1260 (2009). MSC: 68Q65 03B15 03B70 68N18 68N30 PDFBibTeX XMLCite \textit{L. Schröder} and \textit{T. Mossakowski}, Theor. Comput. Sci. 410, No. 12--13, 1217--1260 (2009; Zbl 1172.68040) Full Text: DOI
Durán, Francisco; Lucas, Salvador; Marché, Claude; Meseguer, José; Urbain, Xavier Proving operational termination of membership equational programs. (English) Zbl 1192.68154 High.-Order Symb. Comput. 21, No. 1-2, 59-88 (2008). MSC: 68N99 03B70 68Q42 PDFBibTeX XMLCite \textit{F. Durán} et al., High.-Order Symb. Comput. 21, No. 1--2, 59--88 (2008; Zbl 1192.68154) Full Text: DOI Link
Martins, Manuel A.; Pigozzi, Don Behavioural reasoning for conditional equations. (English) Zbl 1129.68025 Math. Struct. Comput. Sci. 17, No. 5, 1075-1113 (2007). MSC: 68N30 03B70 68N19 68Q65 PDFBibTeX XMLCite \textit{M. A. Martins} and \textit{D. Pigozzi}, Math. Struct. Comput. Sci. 17, No. 5, 1075--1113 (2007; Zbl 1129.68025) Full Text: DOI
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 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). MSC: 68N15 68N30 68M14 03B70 68-02 PDFBibTeX XMLCite \textit{M. Clavel} et al., All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Berlin: Springer (2007; Zbl 1115.68046)
Durán, Francisco; Meseguer, José Maude’s module algebra. (English) Zbl 1116.68047 Sci. Comput. Program. 66, No. 2, 125-153 (2007). MSC: 68Q60 68N30 68Q42 03B70 18C10 PDFBibTeX XMLCite \textit{F. Durán} and \textit{J. Meseguer}, Sci. Comput. Program. 66, No. 2, 125--153 (2007; Zbl 1116.68047) Full Text: DOI
Clavel, Manuel; Meseguer, José; Palomino, Miguel Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. (English) Zbl 1111.03034 Theor. Comput. Sci. 373, No. 1-2, 70-91 (2007). MSC: 03B70 68Q42 68N30 PDFBibTeX XMLCite \textit{M. Clavel} et al., Theor. Comput. Sci. 373, No. 1--2, 70--91 (2007; Zbl 1111.03034) Full Text: DOI
Bruni, Roberto; Meseguer, José Semantic foundations for generalized rewrite theories. (English) Zbl 1097.68051 Theor. Comput. Sci. 360, No. 1-3, 386-414 (2006). MSC: 68Q42 68Q55 68Q85 03B70 03C05 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{J. Meseguer}, Theor. Comput. Sci. 360, No. 1--3, 386--414 (2006; Zbl 1097.68051) Full Text: DOI
Bidoit, Michel; Hennicker, Rolf Constructor-based observational logic. (English) Zbl 1088.68112 J. Log. Algebr. Program. 67, No. 1-2, 3-51 (2006). MSC: 68Q65 03B70 PDFBibTeX XMLCite \textit{M. Bidoit} and \textit{R. Hennicker}, J. Log. Algebr. Program. 67, No. 1--2, 3--51 (2006; Zbl 1088.68112) Full Text: DOI
Meseguer, José 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). MSC: 03B70 68Q42 68Q55 68Q60 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 3722, 1--28 (2005; Zbl 1169.03349) Full Text: DOI
Goguen, Joseph 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). MSC: 68T30 03A05 68T27 91E10 68-02 PDFBibTeX XMLCite \textit{J. Goguen}, Lect. Notes Comput. Sci. 3596, 52--77 (2005; Zbl 1132.68059)
Roşu, Grigore Extensional theories and rewriting. (English) Zbl 1099.03021 Díaz, Josep (ed.) et al., Automata, languages and programming. 31st international colloquium, ICALP 2004, Turku, Finland, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22849-7/pbk). Lecture Notes in Computer Science 3142, 1066-1079 (2004). MSC: 03B70 03B35 03B40 68Q42 PDFBibTeX XMLCite \textit{G. Roşu}, Lect. Notes Comput. Sci. 3142, 1066--1079 (2004; Zbl 1099.03021) Full Text: DOI
Bruni, Roberto; Meseguer, José 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 \textit{R. Bruni} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 2719, 252--266 (2003; Zbl 1039.03020) Full Text: Link
Goguen, Joseph; Malcolm, Grant; Kemp, Tom A hidden Herbrand theorem: Combining the object and logic paradigms. (English) Zbl 1012.03041 J. Log. Algebr. Program. 51, No. 1, 1-41 (2002). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{J. Goguen} et al., J. Log. Algebr. Program. 51, No. 1, 1--41 (2002; Zbl 1012.03041) Full Text: DOI
Diaconescu, Răzvan Grothendieck institutions. (English) Zbl 1008.68078 Appl. Categ. Struct. 10, No. 4, 383-402 (2002). MSC: 68Q65 18C10 03G30 08A70 PDFBibTeX XMLCite \textit{R. Diaconescu}, Appl. Categ. Struct. 10, No. 4, 383--402 (2002; Zbl 1008.68078) Full Text: DOI
Diaconescu, Răzvan Category-based constraint logic. (English) Zbl 0955.68022 Math. Struct. Comput. Sci. 10, No. 3, 373-407 (2000). MSC: 68N17 03B70 PDFBibTeX XMLCite \textit{R. Diaconescu}, Math. Struct. Comput. Sci. 10, No. 3, 373--407 (2000; Zbl 0955.68022) Full Text: DOI
Buss, Samuel; Roşu, Grigore 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 \textit{S. Buss} and \textit{G. Roşu}, in: CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000. Amsterdam: Elsevier. 19 p. (2000; Zbl 0959.03506)
Lucanu, Dorel; Gheorghies, Ovidiu; Apetrei, Adriana 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). MSC: 08A70 03G30 18C50 68Q65 PDFBibTeX XMLCite \textit{D. Lucanu} et al., Electron. Notes Theor. Comput. Sci. 19, electronic paper No. 13 (1999; Zbl 1126.08300) Full Text: DOI
Diaconescu, Răzvan Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages. (English) Zbl 0919.68087 Appl. Categ. Struct. 6, No. 4, 427-453 (1998). MSC: 68Q55 68Q45 18C10 03G30 08A70 PDFBibTeX XMLCite \textit{R. Diaconescu}, Appl. Categ. Struct. 6, No. 4, 427--453 (1998; Zbl 0919.68087) Full Text: DOI
Meseguer, José; Montanari, Ugo 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 \textit{J. Meseguer} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 1376, 62--91 (1998; Zbl 0903.08010)