Zerksis D. Umrigar

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1994

4 Zerksis D. Umrigar: Fully static dimensional analysis with C++. SIGPLAN Notices 29(9): 135-139 (1994)

1990

3 Zerksis D. Umrigar: Finding Advantageous Orders for Argument Unification for the Prolog WAM. NACLP 1990: 80-96

1988

2 V. S. Subrahmanian, Zerksis D. Umrigar: QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems. CADE 1988: 746-747

1985

1 Zerksis D. Umrigar, Vijay Pitchumani: An Experiment in Programming with Full First-Order Logic. SLP 1985: 40-47

	1994
4		Zerksis D. Umrigar: Fully static dimensional analysis with C++. SIGPLAN Notices 29(9): 135-139 (1994)
	1990
3		Zerksis D. Umrigar: Finding Advantageous Orders for Argument Unification for the Prolog WAM. NACLP 1990: 80-96
	1988
2		V. S. Subrahmanian, Zerksis D. Umrigar: QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems. CADE 1988: 746-747
	1985
1		Zerksis D. Umrigar, Vijay Pitchumani: An Experiment in Programming with Full First-Order Logic. SLP 1985: 40-47

Coauthor Index

1 Vijay Pitchumani [1]

2 V. S. Subrahmanian [2]

Colors in the list of coauthors