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
(128)
Lars-Henrik Eriksson
5
Peter Schroeder-Heister
5
Paola Mello
4
Dale Miller
4
Luís Moniz Pereira
4
Martin Aronsson
3
Andrei Voronkov
3
Harold Boley
3
Antonio Brogi
3
Lars Hallnas (Lars Hallnäs)
3
Keywords
(135)
Subscribe
Academic
Conferences
ELP - Extensions of Logic Programming
ELP - Extensions of Logic Programming
Publications: 100
|
Citation Count: 740 (Self-Citation: 29)
|
H-Index: 14Year Range: 1989-1998
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(100)
Handling Equality in Logic Programs via Basic Folding
(
Citations: 4
)
Anatoli Degtyarev
,
Andrei Voronkov
Conference:
Extensions of Logic Programming - ELP
, 1998
Efficient Resource Management for Linear Logic Proof Search
(
Citations: 38
)
Iliano Cervesato
,
Joshua S. Hodas
,
Frank Pfenning
Conference:
Extensions of Logic Programming - ELP
, pp. 67-81, 1996
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages
(
Citations: 18
)
Juan José Moreno-navarro
,
U. Polit
Conference:
Extensions of Logic Programming - ELP
, pp. 213-227, 1996
Super Logic Programs and Negation as Belief
(
Citations: 6
)
Teodor C. Przymusinski
Conference:
Extensions of Logic Programming - ELP
, pp. 229-235, 1996
Translating a Modal Language with Embedded Implication into Horn Clause Logic
(
Citations: 8
)
Matteo Baldoni
,
Laura Giordano
,
Alberto Martelli
Conference:
Extensions of Logic Programming - ELP
, pp. 19-33, 1996