Dijkstra-Scholten predicate calculus: concepts and misconceptions.
- Published in:
- Acta Informatica, 1998, v. 35, n. 12, p. 1007, doi. 10.1007/s002360050150
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 1998 AND VI 35 AND IP 12
Results: 3
1
2
A transformation system for concurrent processes.
- Published in:
- Acta Informatica, 1998, v. 35, n. 12, p. 1037, doi. 10.1007/s002360050151
- By:
- Publication type:
- Article
3
Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition.
- Published in:
- Acta Informatica, 1998, v. 35, n. 12, p. 1075, doi. 10.1007/s002360050152
- By:
- Publication type:
- Article