Top 688 94 bce 49 bce PDF Book Page 26

book image

Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Catuscia Palamidessi (auth.), Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
·313 Pages
·1994
·6.968 MB

book image

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)
·382 Pages
·1995
·5.982 MB