Explore
Christian Queinnec
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Implementation of Term Rewriting-Based Programming Languages
Nadia Nedjah and Luiza De Macedo Mourelle
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Typed Lambda Calculi and Applications
Marc Bezem and Jan Frisco Groote
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Theoretical Aspects of Object-oriented Programming
Carl A. Gunter and John C. Mitchell
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Franz Baader and Tobias Nipkow
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Marc Bezem et al.
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Advanced Topics in Term Rewriting
Enno Ohlebusch
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Hubert Comon and Jean-Pierre Jouannaud
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Conditional Term Rewriting Systems
Stephane Kaplan and Jean-Pierre Jouannaud
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Conditional Term Rewriting Systems
Michael Rusinowitch and Jean-Luc Remy
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Higher-Order Algebra, Logic, and Term Rewriting
Gilles Dowek
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Term Rewriting and Applications
Jürgen Giesl
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Programming in Higher-order Lambda-calculi
Benjamin C. Pierce et al.
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Term Rewriting and Applications
Frank Pfenning
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Term Rewriting and Applications
Franz Baader
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
TERM REWRITING AND THE WORD PROBLEM FOR CERTAIN INFINITE PRESENTATIONS OF GROUPS.
ROGER ERIC NEEDHAM
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Rewriting Techniques and Applications
Paliath Narendran and Michael Rusinowitch
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Conditional and Typed Rewriting Systems
Stephane Kaplan and Mitsuhiro Okada
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!
Rewriting Techniques and Applications
Vincent van Oostrom
No campaign yet.
But if lots of ungluers fave this book, maybe there will be!