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
A decision procedure for propositional projection temporal logic with infinite models
Acta informatica, 2008-02, Vol.45 (1), p.43-78
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On weighted first-order logics with discounting
Acta informatica, 2014-03, Vol.51 (2), p.61-106
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Instruction sequence processing operators
Acta informatica, 2012-05, Vol.49 (3), p.139-172
2012
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
First-order logics: some characterizations and closure properties
Acta informatica, 2012-06, Vol.49 (4), p.225-248
2012
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Stochastic game logic
Acta informatica, 2012-06, Vol.49 (4), p.203-224
2012
Volltextzugriff (PDF)
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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Recursive Petri nets : Theory and application to discrete event systems
Acta informatica, 2007-12, Vol.44 (7-8), p.463-508
2007
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Nonatomic dual bakery algorithm with bounded tokens
Acta informatica, 2011-04, Vol.48 (2), p.67-96
2011
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On regular temporal logics with past
Acta informatica, 2010-06, Vol.47 (4), p.251-277
2010
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On timed alternating simulation for concurrent timed games
Acta informatica, 2012-06, Vol.49 (4), p.249-279
2012
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On decidability of LTL model checking for process rewrite systems
Acta informatica, 2009-02, Vol.46 (1), p.1-28
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the observational theory of the CPS-calculus
Acta informatica, 2010-03, Vol.47 (2), p.111-132
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Boolean closure of linear context-free languages
Acta informatica, 2008-05, Vol.45 (3), p.177-191
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Strategy synthesis for multi-dimensional quantitative objectives
Acta informatica, 2014-06, Vol.51 (3-4), p.129-163
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Efficient systematic clustering method for k-anonymization
Acta informatica, 2011-02, Vol.48 (1), p.51-66
2011
Volltextzugriff (PDF)
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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
“Backward” coinduction, Nash equilibrium and the rationality of escalation
Acta informatica, 2012-05, Vol.49 (3), p.117-137
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Termination of nondeterministic quantum programs
Acta informatica, 2014-02, Vol.51 (1), p.1-24
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Quantum loop programs
Acta informatica, 2010-06, Vol.47 (4), p.221-250
2010
Volltextzugriff (PDF)
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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algebras for iteration and infinite computations
Acta informatica, 2012-08, Vol.49 (5), p.343-359
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Forward and backward application of symbolic tree transducers
Acta informatica, 2014-08, Vol.51 (5), p.297-325
2014
Volltextzugriff (PDF)
1 – 25 von 81
Suche als RSS-Feed
Aktive Filter
KollektionProject Euclid
KollektionRCN full-text journals@Ovid
Zeitschrift / SerieActa Informatica
ThemaTheoretical Computing
Suchergebnisse filtern
Filter anzeigen