Works matching IS 09601295 AND DT 2020 AND VI 30 AND IP 7
Results: 3
Petri nets based on Lawvere theories.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 7, p. 833, doi. 10.1017/S0960129520000262
- By:
- Publication type:
- Article
Forward analysis for WSTS, part I: completions.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 7, p. 752, doi. 10.1017/S0960129520000195
- By:
- Publication type:
- Article
NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 7, p. 736, doi. 10.1017/S096012952000016X
- By:
- Publication type:
- Article