Skip to main content
SpringerLink
Log in

Rational set of trees and the algebraic semantics of logic programming

  • Published:
Acta Informatica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Arnold, A.: Systèmes d'équations dans le magmoīde. Ensembles rationnels et algébriques d'arbres. Thèse d'état, Université de Lille 1977

  2. Arnold, A., Dauchet, M.: Theorie des magmoīdes. Université de Lille 1977

  3. Arnold, A., Nivat, M.: Algebraic semantics of non-deterministic program schemes. Report LITP 78-4, 1978

  4. Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. JACM29, 841–862 (1982)

    Google Scholar 

  5. Boudol, G.: Sémantique opérationnelle et algébrique des programmes récursifs non-déterministes. Thèse d'état, Université Paris 1980

  6. Courcelle, B.: Sur les ensembles d'arbres et les langages déterminististes. Quelques applications à la théorie des schémas de programmes. Thàse d'état, Paris 1976

  7. Colmerauer, A.: Les grammaires de métamorphose. Report GIA, Université Marseille-Luminy 1975

  8. Colmerauer, A.: Prolog II. Manuel de référence et modèle théorique. Report GIA, Université Marseille-Luminy 1982

  9. Guessarian, I.: Equivalences sémantiques et familles d'interprétations. Thèse d'état, Paris 1975

  10. van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. JACM23, 733–742 (1976)

    Google Scholar 

  11. Marque-Pucheu, G.: Quelques applications de la logique du premier ordre à des problèmes de programmation. Thèse d'état, Université Paris VI 1982

  12. Marque-Pucheu, G.: Sémantique des programmes Prolog monadiques linéaires. Report LITP 82–87, 1982

  13. Nivat, M.: On the interpretation of recursive polyadic program schemes. Instituto nazionale di Alte Matematico, Symposia Matematico,15, 255–281 (1975)

    Google Scholar 

  14. Nivat, M.: Interprétation Universelle d'un schéma de programme récursif. Acta Informat.7, 9–16 (1977)

    Google Scholar 

Download references

Authors
  1. G. Marque-Pucheu
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Marque-Pucheu, G. Rational set of trees and the algebraic semantics of logic programming. Acta Informatica 20, 249–260 (1983). https://doi.org/10.1007/BF01257085

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01257085

Keywords

Search

Navigation