Liknande böcker

Conditional Term Rewriting Systems : 1st International Workshop Orsay, F...
Bok av Stephane Kaplan
Mathematical Foundations of Programming Semantics : 7th International Co...
Bok av Stephen Brookes
Algebraic and Logic Programming
Bok av Michael Hanus
Isabelle
Bok av Lawrence C. Paulson
Rewriting Techniques and Applications : 7th International Conference, RT...
Bok av Harald Ganzinger
Logic Program Synthesis and Transformation : 5th International Workshop,...
Bok av Maurizio Proietti
Formal Properties of Finite Automata and Applications : LITP Spring Scho...
Bok av Jean-Eric Pin
Category Theory and Computer Science : 7th International Conference, CTC...
Bok av Eugenio Moggi

Mathematical Foundations of Programming Semantics

Bok