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

Limit laws for terminal nodes in random circuits with restricted fan-out: a family of graphs generalizing binary search trees

JOURNAL ARTICLE published December 2004 in Acta Informatica

Authors: Hosam Mahmoud | Tatsuie Tsukiji

An algebra for process creation

JOURNAL ARTICLE published April 1992 in Acta Informatica

Authors: Jos C. M. Baeten | Frits W. Vaandrager

Parity game reductions

JOURNAL ARTICLE published August 2018 in Acta Informatica

Authors: Sjoerd Cranen | Jeroen J. A. Keiren | Tim A. C. Willemse

A second order theory of data types

JOURNAL ARTICLE published April 1988 in Acta Informatica

Authors: Zhang Ming-Hua

Two-level meta-controlled substitution grammars

JOURNAL ARTICLE published 1978 in Acta Informatica

Authors: R. Meersman | G. Rozenberg

Investigations on Hotz groups for arbitrary grammars

JOURNAL ARTICLE published March 1986 in Acta Informatica

Authors: Volker Diekert

Bi-catenation and shuffle product of languages

JOURNAL ARTICLE published 1 August 1998 in Acta Informatica

Authors: H.J. Shyr | S.S. Yu

Context-free text grammars

JOURNAL ARTICLE published February 1994 in Acta Informatica

Authors: A. Ehrenfeucht | P. ten Pas | G. Rozenberg

Scattered versus context-sensitive rewriting

JOURNAL ARTICLE published 1989 in Acta Informatica

Authors: Jakob Gonczarowski | ManfredK. Warmuth

Free choice systems have home states

JOURNAL ARTICLE published May 1984 in Acta Informatica

Authors: Eike Best | Klaus Voss

Sticky-free and overhang-free DNA languages

JOURNAL ARTICLE published 1 October 2003 in Acta Informatica

Authors: Lila Kari | Stavros Konstantinidis | Elena Losseva | Geoff Wozniak

Erratum

JOURNAL ARTICLE published March 1989 in Acta Informatica

Authors: Demetres D. Kouvatsos | John Almond

A note on degrees of context-sensitivity

JOURNAL ARTICLE published 1975 in Acta Informatica

Authors: P.F. Schuler

Acknowledgement to referees

JOURNAL ARTICLE published 9 March 2007 in Acta Informatica

Denotational semantics of object specification

JOURNAL ARTICLE published 1 September 1998 in Acta Informatica

Authors: Amílcar Sernadas | Cristina Sernadas | Carlos Caleiro

Deterministic asynchronous automata for infinite traces

JOURNAL ARTICLE published April 1994 in Acta Informatica

Authors: Volker Diekert | Anca Muscholl

Acknowledgement to referees

JOURNAL ARTICLE published August 1988 in Acta Informatica

Sound and complete Hoare-like calculi based on copy rules

JOURNAL ARTICLE published October 1981 in Acta Informatica

Authors: Ernst-R�diger Olderog

On efficient entreeings

JOURNAL ARTICLE published March 1993 in Acta Informatica

Authors: Paul S. Amerins | Ricardo A. Baeza-Yates | Derick Wood

A binary operation on trees and an initial algebra characterization for finite tree types

JOURNAL ARTICLE published 1979 in Acta Informatica

Authors: Wolfgang Merzenich