Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

...
Author:  Gilles Dowek |  Jan Heering |  Karl Meinke |  Bernhard Möller
6 downloads 332 Views 2MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Recommend Documents

Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J....
SELECTED LOGIC PAPERS World Scientific Series in 20th Century Mathematics Published Vol. 1 The Neumann Compendium ed...
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1764 3 Berlin Heidelberg New Yor...