CINECA IRIS Institutional Research Information System

A Completeness Result for E-unification Algorithms Based on Conditional Narrowing

GIOVANNETTI, Elio;
1986-01-01
1986
Inglese
contributo
4 - Workshop
Foundations of Logic and Functional Programming
Trento (Italy)
15-19 Dicembre 1986
Internazionale
M. Boscarol, L. Carlucci Aiello, G. Levi
Foundations of Logic and Functional Programming
Esperti anonimi
Springer-Verlag
Berlin
GERMANIA
306
157
167
11
LECTURE NOTES IN COMPUTER SCIENCE
3540191291
WOS:A1988P187100007
2-s2.0-84919112203
no
2 – prodotto con deroga d’ufficio (SOLO se editore non consente/non ha risposto)
2
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
E. Giovannetti; C. Moiso
273
none
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/114666
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 23
  • ???jsp.display-item.citation.isi??? 2
social impact