Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected P...

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Transitions and trees an introduction to structural operational semantics 由 Huttel, Hans

Table of contents only

Computational semantics with functional programming 由 Eijck, J. van

Semantics with applications an appetizer 由 Nielson, Hanne Riis 1954-

Programming language semantics imperative and object-oriented languages 由 Kirkerud, Bjorn

Algebraic semantics of imperative programs 由 Goguen, Joseph A., Malcolm, Grant

Click here to access thru EZproxy
Click here to access

Natural language understanding 由 Allen, James

Formal syntax and semantics of programming languages a laboratory based approach 由 Slonneger, Kenneth

Formal semantics for VHDL

The logic of partial information with 160 figures 由 Nait Abdallah, Areski 1950-