Vicious Circles in Orthogonal term Rewriting Systems

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	65-77
Number of pages	13
Journal	Theoretical Computer Science
Volume	124
Issue number	2
Publication status	Published - 2005

Cite this

@article{c786f3a019644c618bf06a23661166d7,

title = "Vicious Circles in Orthogonal term Rewriting Systems",

author = "J. Ketema and J-W. Klop and \{van Oostrom\}, V.",

year = "2005",

language = "Undefined/Unknown",

volume = "124",

pages = "65--77",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier BV",

number = "2",

}