On Tools for Completeness of Kleene Algebra with Hypotheses
Publication year
2024Source
Logical Methods in Computer Science, 20, 2, (2024), pp. 1-55, article 8ISSN
Publication type
Article / Letter to editor
Display more detailsDisplay less details
Organization
Software Science
Journal title
Logical Methods in Computer Science
Volume
vol. 20
Issue
iss. 2
Page start
p. 1
Page end
p. 55
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [245050]
- Electronic publications [132309]
- Faculty of Science [37364]
- Open Access publications [105918]
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.