| 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 |
