Efficient fair conjunction for structurally-recursive relations

Peter Lozov, Dmitry Boulytchev

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Fingerprint

Dive into the research topics of 'Efficient fair conjunction for structurally-recursive relations'. Together they form a unique fingerprint.

Engineering & Materials Science