BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
4 × USA
Collaborated with:
V.Pitchumani V.S.Subrahmanian
Talks about:
system (2) formal (2) order (2) inconsist (1) quantlog (1) argument (1) approxim (1) advantag (1) program (1) hardwar (1)

Person: Zerksis D. Umrigar

DBLP DBLP: Umrigar:Zerksis_D=

Contributed to:

NACLP 19901990
CADE 19881988
SLP 19851985
DAC 19831983

Wrote 4 papers:

NACLP-1990-Umrigar #order #prolog #unification
Finding Advantageous Orders for Argument Unification for the Prolog WAM (ZDU), pp. 80–96.
CADE-1988-SubrahmanianU #approximate #consistency #named #reasoning
QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems (VSS, ZDU), pp. 746–747.
SLP-1985-UmrigarP85 #empirical #first-order #logic #programming
An Experiment in Programming with Full First-Order Logic (ZDU, VP), pp. 40–47.
DAC-1983-UmrigarP #design #hardware #realtime #verification
Formal verification of a real-time hardware design (ZDU, VP), pp. 221–227.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.