Complementary Definitions of Programming Language Semantics. Lecture Notes in Co

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

Foundations of inductive logic programming. Lecture notes in computer science ;

On the Shape of Mathematical Arguments (Lecture Notes in Computer Science, 445),

Journal on Data Semantics X Journal Subline; Lecture Notes in Computer Science 4

Programming methodology. Lecture notes in computer science ; 23 Hackl, Clemens E

On the Shape of Mathematical Arguments (Lecture Notes in Computer Science Vol. 4

Lecture Notes in Computer Science Ser.: Foundations of Inductive Logic...