An analysis of two related loop-free algorithms for generating integer partitions

JOURNAL ARTICLE published October 1981 in Acta Informatica

Authors: T.I. Fenner | G. Loizou

A characterization of context-free string languages by directed node-label controlled graph grammars

JOURNAL ARTICLE published 1981 in Acta Informatica

Authors: D. Janssens | G. Rozenberg

A unified approach to the generation and the acception of formal languages

JOURNAL ARTICLE published 1978 in Acta Informatica

Authors: P. Deussen

On deciding whether a monoid is a free monoid or is a group

JOURNAL ARTICLE published April 1986 in Acta Informatica

Authors: F. Otto

Eliminating unit reductions from LR(k) parsers using minimum contexts

JOURNAL ARTICLE published August 1981 in Acta Informatica

Authors: Takehiro Tokuda

Adding inclusion dependencies to an object-oriented data model with uniqueness constraints

JOURNAL ARTICLE published June 2003 in Acta Informatica

Authors: Joachim Biskup | Torsten Polle

Parallel integer sorting using small operations

JOURNAL ARTICLE published January 1995 in Acta Informatica

Authors: Ramachandran Vaidyanathan | Carlos R. P. Hartmann | Pramod K. Varshney

Model-checking iterated games

JOURNAL ARTICLE published November 2017 in Acta Informatica

Research funded by Engineering and Physical Sciences Research Council (EP/H046623/1,EP/M027287/1) | Ministry of Science and Technology, Taiwan (MOST 103-2221-E-002-150-MY3) | Academia Sinica (Research Center for Information Technology Innovation (CITI))

Authors: Chung-Hao Huang | Sven Schewe | Farn Wang

Postorder trees and Eulerian numbers

JOURNAL ARTICLE published July 1991 in Acta Informatica

Authors: Thomas P. Whaley

Timed automata with urgent transitions

JOURNAL ARTICLE published 1 March 2004 in Acta Informatica

Authors: Roberto Barbuti | Luca Tesei

Does indirect addressing matter?

JOURNAL ARTICLE published November 2012 in Acta Informatica

Authors: Michael Brand

Dynamic LL( $k$ ) parsing

JOURNAL ARTICLE published 1 April 1997 in Acta Informatica

Authors: Arnd Rußmann

On the synchronization in parallel communicating grammar systems

JOURNAL ARTICLE published April 1993 in Acta Informatica

Authors: Gheorghe P?un

On the number of nodes in universal networks of evolutionary processors

JOURNAL ARTICLE published 2 November 2006 in Acta Informatica

Authors: Artiom Alhazov | Carlos Martín-Vide | Yurii Rogozhin

Automaten in planaren Graphen

JOURNAL ARTICLE published March 1980 in Acta Informatica

Authors: H. A. Rollik

Head and state hierarchies for unary multi-head finite automata

JOURNAL ARTICLE published November 2014 in Acta Informatica

Authors: Martin Kutrib | Andreas Malcher | Matthias Wendlandt

Analytic models for the primary site approach to fault-tolerance

JOURNAL ARTICLE published July 1989 in Acta Informatica

Authors: Yennun Huang | Pankaj Jalote

Out for coffee: with Rob

JOURNAL ARTICLE published October 2020 in Acta Informatica

Authors: Ansgar Fehnker

Reexecution in abstract interpretation of Prolog

JOURNAL ARTICLE published March 1995 in Acta Informatica

Authors: Baudouin Le Charlier | Pascal Van Hentenryck

Corrigenda

JOURNAL ARTICLE published October 1977 in Acta Informatica

Authors: Burkhard Monien