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

Paderborn

von: Jan Heering · Bernhard M??ller · Gilles Dowek · Karl Meinke

Taschenbuch

ISBN-13: 978-3-540-61254-4

ISBN-10: 3-540-61254-8

Springer · 2008
S. auch:
2014PaperbackHigher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers