Article

Definitional Trees

Author:

Sergio AntoyAuthors Info & Claims

Proceedings of the Third International Conference on Algebraic and Logic Programming

Pages 143 - 157

Published: 02 September 1992 Publication History

Abstract

No abstract available.

Cited By

View all

Bertolissi CTalbot JVillevalois DCheney JVidal G(2016)Analysis of access control policy updates through narrowingProceedings of the 18th International Symposium on Principles and Practice of Declarative Programming10.1145/2967973.2968605(62-75)Online publication date: 5-Sep-2016
https://dl.acm.org/doi/10.1145/2967973.2968605
Antoy SJost A(2015)Compiling Collapsing Rules in Certain Constructor SystemsRevised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 952710.1007/978-3-319-27436-2_4(57-72)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1007/978-3-319-27436-2_4
Hanus MSkrlac FChin WHage J(2014)A modular and generic analysis server system for functional logic programsProceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation10.1145/2543728.2543744(181-188)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2543728.2543744
Show More Cited By

Index Terms

Definitional Trees
1. Mathematics of computing
  1. Continuous mathematics
    1. Calculus
      1. Lambda calculus
  2. Discrete mathematics
    1. Graph theory
      1. Trees

Index terms have been assigned to the content through auto-classification.

Recommendations

Rank-Balanced Trees

Since the invention of AVL trees in 1962, many kinds of binary search trees have been proposed. Notable are red-black trees, in which bottom-up rebalancing after an insertion or deletion takes O(1) amortized time and O(1) rotations worst-case. But the ...
Multi-splay trees
On subtrees of trees

We study that over a certain type of trees (e.g., all trees or all binary trees) with a given number of vertices, which trees minimize or maximize the total number of subtrees (or subtrees with at least one leaf). Trees minimizing the total number of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the Third International Conference on Algebraic and Logic Programming

September 1992

457 pages

ISBN:354055873X

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 02 September 1992

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

48
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bertolissi CTalbot JVillevalois DCheney JVidal G(2016)Analysis of access control policy updates through narrowingProceedings of the 18th International Symposium on Principles and Practice of Declarative Programming10.1145/2967973.2968605(62-75)Online publication date: 5-Sep-2016
https://dl.acm.org/doi/10.1145/2967973.2968605
Antoy SJost A(2015)Compiling Collapsing Rules in Certain Constructor SystemsRevised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 952710.1007/978-3-319-27436-2_4(57-72)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1007/978-3-319-27436-2_4
Hanus MSkrlac FChin WHage J(2014)A modular and generic analysis server system for functional logic programsProceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation10.1145/2543728.2543744(181-188)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2543728.2543744
Antoy SJost APeña RSchrijvers T(2013)Are needed redexes really needed?Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming10.1145/2505879.2505881(61-71)Online publication date: 16-Sep-2013
https://dl.acm.org/doi/10.1145/2505879.2505881
López-Fraguas FMartin-Martin EAlbert EMu S(2013)Typing as functional-logic evaluationProceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation10.1145/2426890.2426896(23-32)Online publication date: 21-Jan-2013
https://dl.acm.org/doi/10.1145/2426890.2426896
Köksal AKuncak VSuter PField JHicks M(2012)Constraints as controlProceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2103656.2103675(151-164)Online publication date: 25-Jan-2012
https://dl.acm.org/doi/10.1145/2103656.2103675
Köksal AKuncak VSuter P(2012)Constraints as controlACM SIGPLAN Notices10.1145/2103621.210367547:1(151-164)Online publication date: 25-Jan-2012
https://dl.acm.org/doi/10.1145/2103621.2103675
Antoy SPeters A(2012)Compiling a functional logic languageProceedings of the 11th international conference on Functional and Logic Programming10.1007/978-3-642-29822-6_5(17-31)Online publication date: 23-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-29822-6_5
Antoy SHanus M(2010)Functional logic programmingCommunications of the ACM10.1145/1721654.172167553:4(74-85)Online publication date: 1-Apr-2010
https://dl.acm.org/doi/10.1145/1721654.1721675
Antoy SHanus MPorto ALópez-Fraguas F(2009)Set functions for functional logic programmingProceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming10.1145/1599410.1599420(73-82)Online publication date: 7-Sep-2009
https://dl.acm.org/doi/10.1145/1599410.1599420
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Rank-Balanced Trees

Multi-splay trees

On subtrees of trees

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations