Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979

Methods of Algorithmic Language Implementation

Simple Program Schemes and Formal Languages

The Munich Project CIP: Volume II: The Programme Transformation System CIP-S

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional...

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

Automata on Infinite Words: Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984

Ada Software Tools Interfaces: Workshop, Bath, July 13-15, 1983. Proceedings

DIANA. An Intermediate Language for Ada: Revised Version

The IOTA Programming System: A Modular Programming Environment

An Analytical Description of CHILL, the CCITT High Level Language

Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Simple Morphisms in Algebraic Geometry

Recent Developments in the Algebraic, Analytical, and Topological Theory of Semigroups: Proceedings of a Conference held at Oberwolfach, Germany, May 24-30, 1981

International Handbook of Legal Language and Communication: From Text to Semiotics

Literature, Voice, Meaning: Philosophical Aspects

Translanguaging: Language, Bilingualism and Education

On Recursion and Its Varieties: Formal, Cognitive and Use Aspects of Recursion in Language

The Patient-Centered Approach to Medical Note-Writing

The Philosophy and Science of Language: Interdisciplinary Perspectives

The Philosophy and Science of Language: Interdisciplinary Perspectives

Analytic Philosophy and the Later Wittgensteinian Tradition

Developing Language and Literacy: Studies in Honor of Dorit Diskin Ravid