Miguel Palomino

Available identifiers

zbMath Open palomino.miguelMaRDI QIDQ843211

List of research outcomes

Publication	Date of Publication	Type
Strategies in conditional narrowing modulo SMT plus axioms	2023-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4965855	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4963897	2021-02-24	Paper
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude	2018-08-09	Paper
On the Unification of Process Semantics: Equational Semantics	2016-05-10	Paper
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude	2015-09-14	Paper
Conditional Narrowing Modulo in Rewriting Logic and Maude	2015-09-09	Paper
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences	2014-05-13	Paper
Solving Sudoku Puzzles with Rewriting Rules	2014-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q2871852	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2851051	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2850669	2013-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q2850670	2013-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q2849861	2013-09-20	Paper
Unifying the Linear Time-Branching Time Spectrum of Process Semantics	2013-07-09	Paper
Rewriting logic bibliography by topic: 1990--2011	2013-01-16	Paper
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations	2012-06-29	Paper
Non-strongly Stable Orders Also Define Interesting Simulation Relations	2012-06-01	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Algebraic simulations	2010-02-05	Paper
Ready to preorder: an algebraic and general proof	2009-09-29	Paper
On the Unification of Process Semantics: Observational Semantics	2009-02-03	Paper
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations	2008-09-17	Paper
Equational abstractions	2008-09-16	Paper
Strategies and simulations in a semantic framework	2007-11-30	Paper
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic	2007-04-13	Paper
A comparison between two logical formalisms for rewriting	2007-03-23	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper

Research outcomes over time

This page was built for person: Miguel Palomino