↓ Skip to main content

CAAP '81

Overview of attention for book
Cover of 'CAAP '81'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 51 Algebraic theory of parameterized specifications with requirements
  3. Altmetric Badge
    Chapter 52 A modal characterisation of observable machine-behaviour
  4. Altmetric Badge
    Chapter 53 Trees as data and file structures
  5. Altmetric Badge
    Chapter 54 Infinitary relations
  6. Altmetric Badge
    Chapter 55 Full approximability of a class of problems over power sets
  7. Altmetric Badge
    Chapter 56 How to compute generators for the intersection of subgroups in free groups
  8. Altmetric Badge
    Chapter 57 Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG
  9. Altmetric Badge
    Chapter 58 Top-down tree-transducers for infinite trees I
  10. Altmetric Badge
    Chapter 59 Easy solutions are hard to find
  11. Altmetric Badge
    Chapter 60 Une semantique pour les arbres non deterministes
  12. Altmetric Badge
    Chapter 61 On the algebraic specification of nondeterministic programming languages
  13. Altmetric Badge
    Chapter 62 Applied tree enumerations
  14. Altmetric Badge
    Chapter 63 Evaluation d'arbre pour un calcul formel (application a l'enumeration de proteines)
  15. Altmetric Badge
    Chapter 64 On pushdown tree automata
  16. Altmetric Badge
    Chapter 65 Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities
  17. Altmetric Badge
    Chapter 66 Calcul du rang des ∑-arbres infinis regulers
  18. Altmetric Badge
    Chapter 67 A class of tree-like UNION-FIND data structures and the nonlinearity
  19. Altmetric Badge
    Chapter 68 Grammars without erasing rules. the OI case
  20. Altmetric Badge
    Chapter 69 Proprietes de cloture d'une extension de transducteurs d'arbres deterministes
  21. Altmetric Badge
    Chapter 70 Certain algorithms for subgraph isomorphism problems
  22. Altmetric Badge
    Chapter 71 A # P-complete problem over arithmetical trees
  23. Altmetric Badge
    Chapter 72 Trees in Kripke models and in an intuitionistic refutation system
  24. Altmetric Badge
    Chapter 73 Efficient optimization of monotonic functions on trees
  25. Altmetric Badge
    Chapter 74 Differents types de derivations infinies dans les grammaires algebriques d'arbres
  26. Altmetric Badge
    Chapter 75 Discriminability of infinite sets of terms in the D ∞ -models of the λ-calculus
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
1 Dimensions