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
Open Access
    Datensatz exportieren als...
  • BibTeX
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
Acta informatica, 2016-04, Vol.53 (3), p.207-246
2016
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    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
Open Access
    Datensatz exportieren als...
  • BibTeX
Instruction sequence processing operators
Acta informatica, 2012-05, Vol.49 (3), p.139-172
2012
Link zum Volltext
Verfügbarkeit prüfen
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
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
    Datensatz exportieren als...
  • BibTeX
Stochastic game logic
Acta informatica, 2012-06, Vol.49 (4), p.203-224
2012
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
Recursive Petri nets : Theory and application to discrete event systems
Acta informatica, 2007-12, Vol.44 (7-8), p.463-508
2007
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
Nonatomic dual bakery algorithm with bounded tokens
Acta informatica, 2011-04, Vol.48 (2), p.67-96
2011
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On regular temporal logics with past
Acta informatica, 2010-06, Vol.47 (4), p.251-277
2010
Link zum Volltext
Verfügbarkeit prüfen
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
Link zum Volltext
Verfügbarkeit prüfen
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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On the observational theory of the CPS-calculus
Acta informatica, 2010-03, Vol.47 (2), p.111-132
2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Boolean closure of linear context-free languages
Acta informatica, 2008-05, Vol.45 (3), p.177-191
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A word on 7 letters which is non-repetitive up to mod 5
Acta informatica, 2003-06, Vol.39 (6-7), p.451-468
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Words, univalent factors, and boxes
Acta informatica, 2002-04, Vol.38 (6), p.409-436
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Checking interval properties of computations
Acta informatica, 2016-10, Vol.53 (6-8), p.587-619
2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A general account of coinduction up-to
Acta informatica, 2017-03, Vol.54 (2), p.127-190
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification of population protocols
Acta informatica, 2017-03, Vol.54 (2), p.191-215
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Reversible sessions with flexible choices
Acta informatica, 2019-11, Vol.56 (7-8), p.553-583
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Strategy synthesis for multi-dimensional quantitative objectives
Acta informatica, 2014-06, Vol.51 (3-4), p.129-163
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A tool for deciding the satisfiability of continuous-time metric temporal logic
Acta informatica, 2016-03, Vol.53 (2), p.171-206
2016
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 125
Suche als RSS-Feed
Aktive Filter
KollektionProject Euclid
KollektionRCN full-text journals@Ovid
Zeitschrift / SerieActa Informatica
Suchergebnisse filtern
Filter anzeigen