Lazy Evaluation: From Natural Semantics To A Machine-checked Compiler

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation, Fachbücher von Joachim Breitner

Joachim Breitner | Lazy Evaluation: From Natural Semantics To A...

Gabriela Ratulea | From The Natural Man To The Political Machine |

From The Natural Man To The Political Machine Sovereignty And Power In

Andreas Lochbihler | A Machine-checked, Type-safe Model Of Java

The X-legion Compiler A Compiler Approach To Write And To Optimize

A Machine-checked, Type-safe Model Of Java Concurrency : Language,

Semantics-oriented Natural Language Processing Vladimir Fomichov A.

Legacy Systems Maintenance From Specification To Evaluation Of A

Visual Analysis Of Behaviour From Pixels To Semantics 2832

Hans-christian Schmitz (u. A.) | Bayesian Natural Language Semantics

From European Identity To A Social Europe? An Empirical Evaluation Of

Orna Grumberg (u. A.) | Languages: From Formal To Natural |

From Meaning To Being Papers On Semantics, Epistemology And Ontology

Anna-maria Von Pippich (u. A.) | From Natural Numbers To Quaternions |