Publications by Year
sign in
Tech Report
Search:
Search
A. Middeldorp
1989-12-01
Termination of disjoint unions of conditional term rewriting systems
Publication
Publication
Additional Metadata
ACM
Grammars and Other Rewriting Systems (acm F.4.2)
Citation
APA Style
AAA Style
APA Style
Cell Style
Chicago Style
Harvard Style
IEEE Style
MLA Style
Nature Style
Vancouver Style
American-Institute-of-Physics Style
Council-of-Science-Editors Style
BibTex Format
Endnote Format
RIS Format
CSL Format
DOIs only Format
Middeldorp, A. (1989).
Termination of disjoint unions of conditional term rewriting systems
.
Free Full Text
( Final Version , 1mb )
×
Workflow
×
Workflow
×
Add Content
User
Publication
Person
Organisation
Collection