Zerksis D. Umrigar

Publication Activity (10 Years)

Years Active: 1983-1994
Publications (10 Years): 0

Publications

Zerksis D. Umrigar
Fully static dimensional analysis with C++. ACM SIGPLAN Notices 29 (9) (1994)
Zerksis D. Umrigar
Finding Advantageous Orders for Argument Unification for the Prolog WAM. NACLP (1990)
V. S. Subrahmanian, Zerksis D. Umrigar
QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems. CADE (1988)
Zerksis D. Umrigar, Vijay Pitchumani
An Experiment in Programming with Full First-Order Logic. SLP (1985)
Zerksis D. Umrigar, Vijay Pitchumani
Formal verification of a real-time hardware design. DAC (1983)