Ritu Chandha
List of publications from the
DBLP Bibliography Server
-
FAQ
Ask others:
ACM
-
CiteSeer
-
CSB
-
Google
-
HomePageSearch
1994
1
Ritu Chandha,
David A. Plaisted
: Correctness of Unification Without Occur Check in Prolog.
J. Log. Program. 18
(2): 99-122 (1994)
DBLP: [
Home
| Search:
Author
,
Title
|
Conferences
|
Journals
]
Michael Ley
(ley@uni-trier.de) Sat Jul 9 00:21:27 2005
