Journal of Symbolic Computation
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Lambda sigma: a formal method for simulation based on the typed lambda-calculus
Lambda sigma: a formal method for simulation based on the typed lambda-calculus
Model verification in &lgr;Σ: a type inference approach
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Hi-index | 0.00 |