Intruder Deduction for <i>AC</i>-Like Equational Theories with Homomorphisms
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Pascal Lafourcade, Denis Lugiez, Ralf Treinen
Intruder Deduction for AC-Like Equational Theories with Homomorphisms
RTA, 2005.

RTA 2005
Full names Links ISxN
	author        = "Pascal Lafourcade and Denis Lugiez and Ralf Treinen",
	booktitle     = "{Proceedings of the 16th International Conference on Term Rewriting and Applications}",
	doi           = "10.1007/978-3-540-32033-3_23",
	editor        = "Jürgen Giesl",
	isbn          = "3-540-25596-6",
	pages         = "308--322",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Intruder Deduction for \emph{AC}-Like Equational Theories with Homomorphisms}",
	volume        = 3467,
	year          = 2005,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.