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-