gilles dowek
PrinciplesofProgrammingLanguages
EbookSofort lieferbarBy introducing the principles of programming languages, using the Java language as a support, Gil...
ProofsandAlgorithms
EbookSofort lieferbarLogic is a branch of philosophy, mathematics and computer science. It studies the required method...
Proofs and Algorithms: Introduction to Logic and Computability Theory
TaschenbuchPrint on DemandLogic is a branch of philosophy, mathematics and computer science. It studies the required method...
Introduction to the Theory of Programming Languages
TaschenbuchPrint on DemandThe design and implementation of programming languages, from Fortran and Cobol to Caml and Java, ...
Rewriting and Typed Lambda Calculi
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the Joint 25th International Conference on Rewr...
The Principles of Programming Languages
TaschenbuchPrint on DemandBy introducing the principles of programming languages, using the Java language as a support, Gil...
Higher-Order Algebra, Logic, and Term Rewriting
TaschenbuchPrint on DemandInhaltsangabeTerm graph rewriting.- Approximation and normalization results for typeable term rew...
Automated Reasoning
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 4th International Joint Conference on Autom...
- 1