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

von: Gilles Dowek · Jan Heering · Karl Meinke

Taschenbuch

ISBN-13: 978-3-662-20186-2

ISBN-10: 3-662-20186-0

Springer · 2014

Siehe auch:
2008TaschenbuchHigher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, Band 1074)