dblp.uni-trier.dewww.uni-trier.de

Zerksis D. Umrigar Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1994
4EEZerksis 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
2EEV. 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

1Vijay Pitchumani [1]
2V. S. Subrahmanian [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)