Zerksis D. Umrigar

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1994
Fully static dimensional analysis with C++.
ACM SIGPLAN Notices, 1994

1990
Finding Advantageous Orders for Argument Unification for the Prolog WAM.
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.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1985
An Experiment in Programming with Full First-Order Logic.
Proceedings of the 1985 Symposium on Logic Programming, 1985

1983
Formal verification of a real-time hardware design.
Proceedings of the 20th Design Automation Conference, 1983


  Loading...