modus icon indicating copy to clipboard operation
modus copied to clipboard

Published 20 hours ago • verified publisher icon pku-msv-lab

Stratified construction

Open mechtaev opened this issue 2 years ago • 0 comments

Implement static check for stratified construction:

Sequences, Datalog, and Transducers: Anthony Bonnera Giansalvatore Mecca

mechtaev avatar Mar 22 '22 10:03 mechtaev