Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 5 of 1743 results
Sort by: relevance publication year
Showing results for ISSN matching 0001-5903

Formes de langages et de grammaires

JOURNAL ARTICLE published June 1982 in Acta Informatica

Authors: Jean -Michel Autebert | Joffroy Beauquier | Luc Boasson

https://doi.org/10.1007/bf00288970 Actions

Hiding in stream semantics of uniform concurrency

JOURNAL ARTICLE published April 1990 in Acta Informatica

Authors: J. -J. Ch. Meyer | E. -R. Olderog

https://doi.org/10.1007/bf00289016 Actions

Finding a maximum matching in a permutation graph

JOURNAL ARTICLE published August 1995 in Acta Informatica

Authors: Chongkye Rhee | Y. Daniel Liang

https://doi.org/10.1007/bf01178659 Actions

Efficient algorithms for checking the atomicity of a run of read and write operations

JOURNAL ARTICLE published February 1995 in Acta Informatica

Authors: Lefteris M. Kirousis | Andreas G. Veneris

https://doi.org/10.1007/bf01177745 Actions

Congruences et Automorphismes des Automates Finis

JOURNAL ARTICLE published 1971 in Acta Informatica

Authors: D. Perrin | J. F. Perrot

https://doi.org/10.1007/bf00289522 Actions

Synchronized extension systems

JOURNAL ARTICLE published February 2001 in Acta Informatica

Authors: Ferucio Laurenţiu Ţiplea | Erkki Mäkinen | Corina Apachite

https://doi.org/10.1007/pl00013310 Actions

Rational bijection of rational sets

JOURNAL ARTICLE published May 1980 in Acta Informatica

Authors: H. A. Maurer | M. Nivat

https://doi.org/10.1007/bf00288770 Actions

Linear regular sets

JOURNAL ARTICLE published 1978 in Acta Informatica

Authors: C. J. Maxson

https://doi.org/10.1007/bf00289156 Actions

Decision problems for pushdown threads

JOURNAL ARTICLE published May 2007 in Acta Informatica

Authors: Jan A. Bergstra | Inge Bethke | Alban Ponse

https://doi.org/10.1007/s00236-007-0040-5 Actions

Acknowledgement to Referees

JOURNAL ARTICLE published 9 November 2007 in Acta Informatica

https://doi.org/10.1007/s00236-007-0063-y Actions

A typed logic of partial functions reconstructed classically

JOURNAL ARTICLE published May 1994 in Acta Informatica

Authors: C. B. Jones | C. A. Middelburg

https://doi.org/10.1007/bf01178666 Actions

Synchronized regular expressions

JOURNAL ARTICLE published 1 January 2003 in Acta Informatica

Authors: Giuseppe Della Penna | Benedetto Intrigila | Enrico Tronci | Marisa Venturini Zilli

https://doi.org/10.1007/s00236-002-0099-y Actions

Yet another generation of LALR parsers for regular right part grammars

JOURNAL ARTICLE published June 2001 in Acta Informatica

Authors: Shin-ichi Morimoto | Masataka Sassa

https://doi.org/10.1007/pl00013318 Actions

Information theoretic approximations for theM/G/1 retrial queue

JOURNAL ARTICLE published June 1994 in Acta Informatica

Authors: G. I. Falin | M. Mart�n D�az | J. R. Artalejo

https://doi.org/10.1007/bf01213207 Actions

Rational index of Vector Addition Systems languages

JOURNAL ARTICLE published July 1989 in Acta Informatica

Authors: Laurent Pierre | SylvianeR. Schwer

https://doi.org/10.1007/bf00263577 Actions

Erratum

JOURNAL ARTICLE published March 1989 in Acta Informatica

Authors: Demetres D. Kouvatsos | John Almond

https://doi.org/10.1007/bf00289149 Actions

A note on degrees of context-sensitivity

JOURNAL ARTICLE published 1975 in Acta Informatica

Authors: P.F. Schuler

https://doi.org/10.1007/bf00264568 Actions

Acknowledgement to referees

JOURNAL ARTICLE published 9 March 2007 in Acta Informatica

https://doi.org/10.1007/s00236-007-0039-y Actions

Denotational semantics of object specification

JOURNAL ARTICLE published 1 September 1998 in Acta Informatica

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

https://doi.org/10.1007/s002360050141 Actions

Deterministic asynchronous automata for infinite traces

JOURNAL ARTICLE published April 1994 in Acta Informatica

Authors: Volker Diekert | Anca Muscholl

https://doi.org/10.1007/bf01178512 Actions
Feedback: support@crossref.org