Hakutulokset: Hakutulos
yhteensä 4 hakutulosta
Higher-Order Algebra, Logic, and Term Rewriting
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 …
Research and Advanced Technology for Digital Libraries
We are delighted to present the ECDL 2004 Conference proceedings from the 8th European Conference on Research and Advanced Technology for Digital - braries at the University of …
Algebraic and Logic Programming
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 …
Higher-Order Algebra, Logic, and Term Rewriting
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 …