RETRPROV A system that looks for axioms.
- Published in:
- Acta Informatica, 1996, v. 33, n. 8, p. 759, doi. 10.1007/s002360050069
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 1996 AND VI 33 AND IP 8
Results: 4
1
2
A direct complement construction for ...
- Published in:
- Acta Informatica, 1996, v. 33, n. 8, p. 781, doi. 10.1007/s002360050070
- By:
- Publication type:
- Article
3
Calculi for interaction.
- Published in:
- Acta Informatica, 1996, v. 33, n. 8, p. 707, doi. 10.1007/s002360050067
- By:
- Publication type:
- Article
4
On the sequential nature of interprocedural program-analysis problems.
- Published in:
- Acta Informatica, 1996, v. 33, n. 8, p. 739, doi. 10.1007/s002360050068
- By:
- Publication type:
- Article