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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Miguel Palomino