Finding small counterexamples for abstract rewriting properties

Fulltext:
195233pub.pdf
Embargo:
until further notice
Size:
191.0Kb
Format:
PDF
Description:
Publisher’s version
Publication year
2018Author(s)
Source
Mathematical Structures in Computer Science, 28, 8, (2018), pp. 1485-1505ISSN
Publication type
Article / Letter to editor

Display more detailsDisplay less details
Organization
Software Science
Journal title
Mathematical Structures in Computer Science
Volume
vol. 28
Issue
iss. 8
Page start
p. 1485
Page end
p. 1505
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [227587]
- Electronic publications [108623]
- Faculty of Science [34023]
- Open Access publications [77825]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.