Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(20)
Ugo Moscato
1
Jean-louis Lassez
1
Carlo Zaniolo
1
Carolyn L. Talcott
1
Nicola Guarino
1
Mario Ornaghi
1
Giorgio Levi
1
Luigia Carlucci Aiello
1
Michael J. Maher
1
Corrado Moiso
1
Keywords
(16)
Subscribe
Academic
Conferences
Foundations of Logic and Functional Programming
Foundations of Logic and Functional Programming
Publications: 11
|
Citation Count: 260 (Self-Citation: 0)
|
H-Index: 4Year Range: 1986-1988
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(11)
Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings
Mauro Boscarol
,
Luigia Carlucci Aiello
,
Giorgio Levi
Conference:
Foundations of Logic and Functional Programming
, 1988
Unification Revisited
(
Citations: 195
)
Jean-louis Lassez
,
Michael J. Maher
,
Kim Marriott
Conference:
Foundations of Logic and Functional Programming
, pp. 67-113, 1986
Typechecking Dependent Types and Subtypes
(
Citations: 25
)
Luca Cardelli
Conference:
Foundations of Logic and Functional Programming
, pp. 45-57, 1986
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing
(
Citations: 27
)
Elio Giovannetti
,
Corrado Moiso
Conference:
Foundations of Logic and Functional Programming
, pp. 157-167, 1986
Rum. An Intensional Theory of Function and Control Abstractions
(
Citations: 5
)
Carolyn L. Talcott
Conference:
Foundations of Logic and Functional Programming
, pp. 3-44, 1986