Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Auteur(s) : International workshop on higher-order algebra, logic and term rewriting (01 ; 1993 ; Amsterdam)  Voir les notices liées en tant qu'auteur

Titre(s) : Higher-order algebra, logic and term rewriting [Texte imprimé] : first International workshop, HOA'93, Amsterdam, the Netherlands, September 23-24, 1993, selected papers / Jan Heering, Karl Meinke, Bernhard Möller... [et al.]

Publication : Berlin ; New York : Springer, cop. 1994

Description matérielle : 344 p. : ill. ; 24 cm

Collection : Lecture notes in computer science ; 816

Lien à la collection : Lecture notes in computer science  Voir toutes les notices liées

Note(s) : Bibliogr. à la fin de chaque chap.

Sujet(s) : Logique mathématique  Voir les notices liées en tant que sujet
Réécriture, Systèmes de (informatique)  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-58233-9 (Berlin). - ISBN 0-387-58233-9 (New York)

Identifiant de la notice  : ark:/12148/cb37462120n

Notice n° :  FRBNF37462120