The following pages link to Miguel Palomino (Q843211):
Displaying 25 items.
- Ready to preorder: an algebraic and general proof (Q843212) (← links)
- Algebraic simulations (Q844884) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Equational abstractions (Q944377) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Rewriting logic bibliography by topic: 1990--2011 (Q1931905) (← links)
- On the Unification of Process Semantics: Equational Semantics (Q2805160) (← links)
- Unifying the Linear Time-Branching Time Spectrum of Process Semantics (Q2838240) (← links)
- (Q2849861) (← links)
- (Q2850669) (← links)
- (Q2850670) (← links)
- (Q2851051) (← links)
- (Q2871852) (← links)
- Solving Sudoku Puzzles with Rewriting Rules (Q2873776) (← links)
- Non-strongly Stable Orders Also Define Interesting Simulation Relations (Q2888489) (← links)
- Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations (Q2894568) (← links)
- Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945131) (← links)
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
- A comparison between two logical formalisms for rewriting (Q3430669) (← links)
- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations (Q3525087) (← links)
- On the Unification of Process Semantics: Observational Semantics (Q3599079) (← links)
- (Q4963897) (← links)
- (Q4965855) (← links)
- Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences (Q5415615) (← links)
- Strategies and simulations in a semantic framework (Q5429558) (← links)
