Works matching IS 00015903 AND DT 2004 AND VI 40 AND IP 6
Results: 4
Past is for free: on the complexity of verifying linear temporal properties with past.
- Published in:
- Acta Informatica, 2004, v. 40, n. 6, p. 431, doi. 10.1007/s00236-003-0136-5
- By:
- Publication type:
- Article
A new natural structural congruence in the pi-calculus with replication.
- Published in:
- Acta Informatica, 2004, v. 40, n. 6, p. 385, doi. 10.1007/s00236-004-0141-3
- By:
- Publication type:
- Article
Trajectory-based codes.
- Published in:
- Acta Informatica, 2004, v. 40, n. 6, p. 491, doi. 10.1007/s00236-004-0140-4
- By:
- Publication type:
- Article
Reducing non-determinism in right nulled GLR parsers.
- Published in:
- Acta Informatica, 2004, v. 40, n. 6, p. 459, doi. 10.1007/s00236-004-0137-z
- By:
- Publication type:
- Article