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-