Zerksis D. Umrigar

According to our database, Zerksis D. Umrigar authored at least 5 papers between 1983 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Fully static dimensional analysis with C++.

Zerksis D. Umrigar

ACM SIGPLAN Notices, 1994

1990

Finding Advantageous Orders for Argument Unification for the Prolog WAM.

Zerksis D. Umrigar

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1988

QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems.

V. S. Subrahmanian, Zerksis D. Umrigar

Proceedings of the 9th International Conference on Automated Deduction, 1988

1985

An Experiment in Programming with Full First-Order Logic.

Zerksis D. Umrigar, Vijay Pitchumani

Proceedings of the 1985 Symposium on Logic Programming, 1985

1983

Formal verification of a real-time hardware design.

Zerksis D. Umrigar, Vijay Pitchumani

Proceedings of the 20th Design Automation Conference, 1983