Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 8082 results
Sort by: relevance publication year

Linearity in the Non-deterministic Call-by-Value Setting

BOOK CHAPTER published 2012 in Logic, Language, Information and Computation

Authors: Alejandro Díaz-Caro | Barbara Petit

A Case Study in Grammar Engineering

BOOK CHAPTER published 2009 in Software Language Engineering

Authors: Tiago L. Alves | Joost Visser

The Java Programmer’s Phrase Book

BOOK CHAPTER published 2009 in Software Language Engineering

Authors: Einar W. Høst | Bjarte M. Østvold

Generating Rewritable Abstract Syntax Trees

BOOK CHAPTER published 2009 in Software Language Engineering

Authors: Jeffrey L. Overbey | Ralph E. Johnson

Annex E (normative): Distributed Systems

BOOK CHAPTER published in Ada 2005 Reference Manual. Language and Standard Libraries

Authors: S. Tucker Taft | Robert A. Duff | Randall L. Brukardt | Erhard Ploedereder | Pascal Leroy

Word Equations with One Unknown

BOOK CHAPTER published 2009 in Developments in Language Theory

Authors: Markku Laine | Wojciech Plandowski

Post Correspondence Problem and Small Dimensional Matrices

BOOK CHAPTER published 2009 in Developments in Language Theory

Authors: Tero Harju

Abductive Logic Grammars

BOOK CHAPTER published 2009 in Logic, Language, Information and Computation

Authors: Henning Christiansen | Verónica Dahl

On -c and ḳi Particles in Georgian

BOOK CHAPTER published 2009 in Logic, Language, and Computation

Authors: Anna Chutkerashvili

An integrated view of text planning

BOOK CHAPTER published 1992 in Lecture Notes in Computer Science

Authors: Helmut Horacek

Formalization and Rule-Based Transformation of EMF Ecore-Based Models

BOOK CHAPTER published 2009 in Software Language Engineering

Authors: Bernhard Schätz

Neon: A Library for Language Usage Analysis

BOOK CHAPTER published 2009 in Software Language Engineering

Authors: Jurriaan Hage | Peter van Keeken

Traces of Control-Flow Graphs

BOOK CHAPTER published 2009 in Developments in Language Theory

Authors: Simone Campanoni | Stefano Crespi Reghizzi

Three Kinds of Event Nominal Negation in Russian

BOOK CHAPTER published 2009 in Logic, Language, and Computation

Authors: Anna Pazelskaya

Erasing in Petri Net Languages and Matrix Grammars

BOOK CHAPTER published 2009 in Developments in Language Theory

Authors: Georg Zetzsche

Size Complexity of Two-Way Finite Automata

BOOK CHAPTER published 2009 in Developments in Language Theory

Authors: Christos A. Kapoutsis

Processing Definite Determiners: Formal Semantics Meets Experimental Results

BOOK CHAPTER published 2009 in Logic, Language, and Computation

Authors: Peter Bosch

Hypothesis Spaces for Learning

BOOK CHAPTER published 2009 in Language and Automata Theory and Applications

Authors: Sanjay Jain

Introduction to Type Theory

BOOK CHAPTER published 2009 in Language Engineering and Rigorous Software Development

Authors: Herman Geuvers

Genetic Algorithm for Synchronization

BOOK CHAPTER published 2009 in Language and Automata Theory and Applications

Authors: Adam Roman