Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Netherlands

von: Jan Heering · Karl Meinke · Bernhard Möller

Taschenbuch

ISBN-13: 978-3-662-18905-4

ISBN-10: 3-662-18905-4

Springer · 2014