Works matching IS 13670751 AND DT 2014 AND VI 22 AND IP 5
Results: 4
Propositional dynamic logic for Petri nets.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 5, p. 721, doi. 10.1093/jigpal/jzu010
- By:
- Publication type:
- Article
PDL for structured data: a graph-calculus approach.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 5, p. 737, doi. 10.1093/jigpal/jzu011
- By:
- Publication type:
- Article
First-order unification in the PVS proof assistant.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 5, p. 758, doi. 10.1093/jigpal/jzu012
- By:
- Publication type:
- Article
Linear logic model of state revisited.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 5, p. 791, doi. 10.1093/jigpal/jzu013
- By:
- Publication type:
- Article