Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
On weighted first-order logics with discounting
Acta informatica, 2014-03, Vol.51 (2), p.61-106
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Head and state hierarchies for unary multi-head finite automata
Acta informatica, 2014-11, Vol.51 (8), p.553-569
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A distributed resource allocation algorithm for many processes
Acta informatica, 2013-09, Vol.50 (5-6), p.297-329
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Judgmental subtyping systems with intersection types and modal types
Acta informatica, 2013-12, Vol.50 (7-8), p.359-380
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On the hierarchy of distribution-sensitive properties for data structures
Acta informatica, 2013-06, Vol.50 (4), p.289-295
2013
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Compositional type checking of delta-oriented software product lines
Acta informatica, 2013-03, Vol.50 (2), p.77-122
2013
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Termination of nondeterministic quantum programs
Acta informatica, 2014-02, Vol.51 (1), p.1-24
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Accepting splicing systems with permitting and forbidding words
Acta informatica, 2013-02, Vol.50 (1), p.1-14
2013
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Forward and backward application of symbolic tree transducers
Acta informatica, 2014-08, Vol.51 (5), p.297-325
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Step semantics of boolean nets
Acta informatica, 2013-02, Vol.50 (1), p.15-39
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Avoiding cross-bifix-free binary words
Acta informatica, 2013-05, Vol.50 (3), p.157-173
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Networks of evolutionary processors: the power of subregular filters
Acta informatica, 2013-02, Vol.50 (1), p.41-75
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Controlled finite automata
Acta informatica, 2014-08, Vol.51 (5), p.327-337
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Query optimization in information integration
Acta informatica, 2013-06, Vol.50 (4), p.257-287
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Infinitary rewriting: closure operators, equivalences and models
Acta informatica, 2013-03, Vol.50 (2), p.123-156
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks
Acta informatica, 2014-02, Vol.51 (1), p.51-60
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal communication elimination and sequentialization equivalence proofs for distributed system models
Acta informatica, 2014-09, Vol.51 (6), p.347-418
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Online multi-coloring on the path revisited
Acta informatica, 2013-09, Vol.50 (5-6), p.343-357
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Prefix-primitive annihilators of languages under some operations
Acta informatica, 2012-08, Vol.49 (5), p.281-293
2012
Link zum Volltext
Verfügbarkeit prüfen
1 – 19 von 19
Suche als RSS-Feed
Aktive Filter
KollektionProject Euclid
KollektionRCN full-text journals@Ovid
KollektionIngentaConnect Journals
Zeitschrift / SerieActa Informatica
Suchergebnisse filtern
Filter anzeigen