Jan Heering – författare

Visar alla böcker från författaren Jan Heering. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Higher-Order Algebra, Logic, and Term Rewriting

   First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

   Av Jan Heering, Karl Meinke m. fl.

   Häftad, 1994

   566 kr

   Lägg i varukorg

   This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming …

2. 

   Higher-Order Algebra, Logic, and Term Rewriting

   Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

   Av Gilles Dowek, Jan Heering m. fl.

   Häftad, 1996

   566 kr

   Lägg i varukorg

   This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an …

3. 

   Algebraic and Logic Programming

   6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

   Av Michael Hanus, Jan Heering m. fl.

   Häftad, 1997

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers …