The following pages link to (Q4223000):
Displaying 11 items.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Generalized definitional reflection and the inversion principle (Q2470764) (← links)
- Reflection in rewriting logic. Metalogical foundations and metaprogramming applications (Q2734833) (← links)
- Comparing Meseguer's rewriting logic with the logic CRWL (Q2841300) (← links)
- Strategies and user interfaces in Maude at work (Q2844063) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q2851051) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Computational reflection via mechanized logical deduction (Q4884066) (← links)
- A Logic for Reflective ASMs (Q5040368) (← links)
