48 citations · 94 across the 8 of their papers we have counts for
1 paper · 1 filter
Prateek Karandikar, Philippe Schnoebelen
The Regular Post Embedding Problem extended with partial (co)directness is shown decidable. This extends to universal and/or counting versions. It is also shown that combining dire…