BibSLEIGH — Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic

Manuel Clavel, José Meseguer, Miguel Palomino
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
WRLA, 2002.

WRLA 2002

@article{WRLA-2002-ClavelMP,
	author        = "Manuel Clavel and José Meseguer and Miguel Palomino",
	doi           = "10.1016/S1571-0661(05)82531-9",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "110--126",
	title         = "{Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic}",
	volume        = 71,
	year          = 2002,
}

Manuel Clavel, José Meseguer, Miguel PalominoReflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting LogicWRLA, 2002.

Tags:

Manuel Clavel, José Meseguer, Miguel Palomino
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
WRLA, 2002.