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 |
An algebra for process creation JOURNAL ARTICLE published April 1992 in Acta Informatica |
Parity game reductions JOURNAL ARTICLE published August 2018 in Acta Informatica |
A second order theory of data types JOURNAL ARTICLE published April 1988 in Acta Informatica |
Two-level meta-controlled substitution grammars JOURNAL ARTICLE published 1978 in Acta Informatica |
Investigations on Hotz groups for arbitrary grammars JOURNAL ARTICLE published March 1986 in Acta Informatica |
Bi-catenation and shuffle product of languages JOURNAL ARTICLE published 1 August 1998 in Acta Informatica |
Context-free text grammars JOURNAL ARTICLE published February 1994 in Acta Informatica |
Scattered versus context-sensitive rewriting JOURNAL ARTICLE published 1989 in Acta Informatica |
Free choice systems have home states JOURNAL ARTICLE published May 1984 in Acta Informatica |
Sticky-free and overhang-free DNA languages JOURNAL ARTICLE published 1 October 2003 in Acta Informatica |
Erratum JOURNAL ARTICLE published March 1989 in Acta Informatica |
A note on degrees of context-sensitivity JOURNAL ARTICLE published 1975 in Acta Informatica |
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 |
Deterministic asynchronous automata for infinite traces JOURNAL ARTICLE published April 1994 in Acta Informatica |
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 |
On efficient entreeings JOURNAL ARTICLE published March 1993 in Acta Informatica |
A binary operation on trees and an initial algebra characterization for finite tree types JOURNAL ARTICLE published 1979 in Acta Informatica |