1992 |
5 | EE | M. E. Szabo:
Stochastic performance measures for rule-based expert systems.
Inf. Sci. 62(1-2): 27-40 (1992) |
4 | EE | M. E. Szabo:
On the stochastic complexity of loops in rule-based expert systems.
Inf. Sci. 64(3): 233-249 (1992) |
1990 |
3 | | M. E. Szabo:
On the Tracking of Loops in Automated Deductions.
CSL 1990: 366-388 |
1989 |
2 | | M. E. Szabo,
E. J. Farkas:
A Probabilistic Analysis of Loop Programs.
Comput. Lang. 14(2): 125-136 (1989) |
1980 |
1 | | M. E. Szabo:
A sequent calculus for Kröger logic.
Logic of Programs 1980: 295-303 |