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

Basics of Term Rewriting

BOOK CHAPTER published 1997 in Handbook of Formal Languages

Authors: Matthias Jantzen

Context-Free Graph Grammars

BOOK CHAPTER published 1997 in Handbook of Formal Languages

Authors: Joost Engelfriet

Smart Tile Self-Assembly and Replication

JOURNAL ARTICLE published 9 August 2017 in Fundamenta Informaticae

Authors: Lila Kari | Amirhossein Simjour

Editors: Gheorghe Păun | Grzegorz Rozenberg | Arto Salomaa

Topics in the theory of DNA computing

JOURNAL ARTICLE published September 2002 in Theoretical Computer Science

Authors: Martyn Amos | Gheorghe Păun | Grzegorz Rozenberg | Arto Salomaa

On the computational complexity of context-free Parallel Communicating Grammar Systems

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Stefan Bruda

Incremental Process Discovery using Petri Net Synthesis

JOURNAL ARTICLE published 9 August 2017 in Fundamenta Informaticae

Authors: Eric Badouel | Uli Schlachter

Editors: Gheorghe Păun | Grzegorz Rozenberg | Arto Salomaa

Review of "Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneider", Springer-Verlag Berlin Heidelberg, 2004

JOURNAL ARTICLE published December 2006 in ACM SIGACT News

Authors: Maulik A. Dave

Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems

JOURNAL ARTICLE published 1974 in Acta Informatica

Authors: A. Ehrenfeucht | G. Rozenberg

Grammar systems with counting derivation and dynamical priorities

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Tudor Bălănescu | Horia Georgescu | Marian Gheorghe

Formal systems for gene assembly in ciliates

JOURNAL ARTICLE published January 2003 in Theoretical Computer Science

Authors: Andrzej Ehrenfeucht | Tero Harju | Ion Petre | David M. Prescott | Grzegorz Rozenberg

The Weighted Matching Approach to Maximum Cardinality Matching

JOURNAL ARTICLE published 9 August 2017 in Fundamenta Informaticae

Authors: Harold N. Gabow

Editors: Gheorghe Păun | Grzegorz Rozenberg | Arto Salomaa

On 0L-Languages

JOURNAL ARTICLE published November 1971 in Information and Control

Authors: G. Rozenberg | P.G. Doucet

Salomaa, A. K., Formale Sprachen. Übersetzt a. d. Engl. v. E.‐W. Dieterich. Berlin‐Heidelberg‐New York, Springer‐Verlag 1978. XI, 314 S., 18 Abb., DM 48,–, US $ 26,40. ISBN 3‐540‐09 030‐4

JOURNAL ARTICLE published January 1980 in ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Authors: J. Dassow

Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages

JOURNAL ARTICLE published July 1980 in Journal of the ACM

Authors: J. Engelfriet | G. Rozenberg

Characterization of RE using CD grammar systems with two registers and RL rules

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Sorina Dumitrescu

Contextual Grammars and Natural Languages

BOOK CHAPTER published 1997 in Handbook of Formal Languages

Authors: Solomon Marcus

Context-free grammars with graph-controlled tables

JOURNAL ARTICLE published August 1976 in Journal of Computer and System Sciences

Authors: G. Rozenberg | A. Salomaa

Multiset Processing

BOOK published 2001 in Lecture Notes in Computer Science

Editors: Cristian S. Calude | Gheorghe PĂun | Grzegorz Rozenberg | Arto Salomaa

Partial Commutation and Traces

BOOK CHAPTER published 1997 in Handbook of Formal Languages

Authors: Volker Diekert | Yves Métivier

Tree-Adjoining Grammars

BOOK CHAPTER published 1997 in Handbook of Formal Languages

Authors: Aravind K. Joshi | Yves Schabes