Jan Heering
Identifiers
- Open LibraryOL2682628A
Books by Jan Heering
Total count: 2
-
Higher-Order Algebra, Logic, and Term RewritingFirst International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)Springer1994-07-01
-
Language Prototypingan Algebraic Specification ApproachWorld Scientific Publishing Co Pte Ltd1996-01-01