Treating Partiality in a Logic of Total Functions.
- Published in:
- Computer Journal, 1997, v. 40, n. 10, p. 640, doi. 10.1093/comjnl/40.10.640
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 1997 AND VI 40 AND IP 10
Results: 5
1
2
A Study of the Concurrency Control and Recovery Algorithms in Nested Transaction Environment.
- Published in:
- Computer Journal, 1997, v. 40, n. 10, p. 630, doi. 10.1093/comjnl/40.10.630
- By:
- Publication type:
- Article
3
Simulating the Behaviour of Computer Systems: Co-simulation of Hardware/Software.
- Published in:
- Computer Journal, 1997, v. 40, n. 10, p. 617, doi. 10.1093/comjnl/40.10.617
- By:
- Publication type:
- Article
4
Software Constraints for Large Application Systems.
- Published in:
- Computer Journal, 1997, v. 40, n. 10, p. 598, doi. 10.1093/comjnl/40.10.598
- By:
- Publication type:
- Article
5
LEO and its Applications: The Beginning of Business Computing.
- Published in:
- Computer Journal, 1997, v. 40, n. 10, p. 585, doi. 10.1093/comjnl/40.10.585
- By:
- Publication type:
- Article