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
(203)
Michael Hanus
4
Elena Marchiori
3
Michael Codish
3
Giorgio Levi
3
Hélène Kirchner
3
Claude Kirchner
3
Pierre Lescanne
3
Mario Rodriguez-...
3
Nachum Dershowitz
2
Massimo Marchiori
2
Keywords
(177)
Subscribe
Academic
Conferences
ALP - Algebraic and Logic Programming
ALP - Algebraic and Logic Programming
Publications: 142
|
Citation Count: 1,283 (Self-Citation: 26)
|
H-Index: 18Year Range: 1988-1997
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(142)
Optimal Non-deterministic Functional Logic Computations
(
Citations: 70
)
Sergio Antoy
Conference:
Algebraic and Logic Programming - ALP
, pp. 16-30, 1997
A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints
(
Citations: 21
)
Michael Codish
,
Cohavit Taboch
Conference:
Algebraic and Logic Programming - ALP
, pp. 545-556, 1997
Model Generation with Existentially Quantified Variables and Constraints
(
Citations: 14
)
Slim Abdennadher
,
Heribert Schiitz
Conference:
Algebraic and Logic Programming - ALP
, pp. 256-272, 1997
Optimal Left-to-Right Pattern-Matching Automata
(
Citations: 13
)
Nadia Nedjah
,
Colin D. Walter
,
Stephen E. Eldridge
Conference:
Algebraic and Logic Programming - ALP
, pp. 273-286, 1997
Higher-Order Equational Unification via Explicit Substitutions
(
Citations: 10
)
Claude Kirchner
,
Christophe Ringeissen
Conference:
Algebraic and Logic Programming - ALP
, pp. 61-75, 1997