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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Open Access
    Datensatz exportieren als...
  • BibTeX
5-equational theory of context unification is undecidable
Theoretical computer science, 2002-03, Vol.275 (1), p.463-479
2002
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Abstract interpretation based verification of temporal properties for BioAmbients
Information and computation, 2010-08, Vol.208 (8), p.869-921
2010
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Additive sparse spanners for graphs with bounded length of largest induced cycle
Theoretical computer science, 2005-11, Vol.347 (1), p.54-75
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The algebra of stream processing functions
Theoretical computer science, 2001, Vol.258 (1), p.99-129
2001
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Algorithms for multi-level graph planarity testing and layout
Theoretical computer science, 2004-06, Vol.320 (2), p.331-344
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Algorithms for the parallel alternating direction access machine
Theoretical computer science, 2000-08, Vol.245 (2), p.151-173
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An alternative way of presenting statistical test results when evaluating the performance of stochastic approaches
Neurocomputing (Amsterdam), 2015-01, Vol.147, p.235-238
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Ambiguity in omega context free languages
Theoretical computer science, 2003-05, Vol.301 (1-3), p.217-270
2003
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Analysis issues in Petri nets with inhibitor arcs
Theoretical computer science, 2002-03, Vol.275 (1), p.127-177
2002
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Another proof of Soittola’s theorem
Theoretical computer science, 2008-03, Vol.393 (1), p.196-203
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Approximate string matching using compressed suffix arrays
Theoretical computer science, 2006-03, Vol.352 (1), p.240-249
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Approximating k-spanner problems for k > 2
Theoretical computer science, 2005-06, Vol.337 (1), p.249-277
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
An assertion-based proof system for multithreaded Java
Theoretical computer science, 2005-02, Vol.331 (2), p.251-290
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Asynchronous Bounded-Cycle model
Theoretical computer science, 2011-09, Vol.412 (40), p.5580-5601
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Bandwidth-adaptive partitioning for distributed execution optimization of mobile applications
Journal of network and computer applications, 2014-01, Vol.37, p.334-347
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The boolean hierarchy of NP-partitions
Information and computation, 2008-05, Vol.206 (5), p.538-568
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A calculus for reasoning about software composition
Theoretical computer science, 2005-02, Vol.331 (2), p.367-396
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Canonical disjoint NP-pairs of propositional proof systems
Theoretical computer science, 2007-02, Vol.370 (1), p.60-73
2007
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A characterization of heaps and its applications
Information and computation, 1990, Vol.86 (1), p.69-86
1990
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Chordless paths through three vertices
Theoretical computer science, 2006-02, Vol.351 (3), p.360-371
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
Information and computation, 2005-02, Vol.197 (1), p.1-21
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Classifying regular languages by a split game
Theoretical computer science, 2007-04, Vol.374 (1), p.181-190
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Closure properties and decision problems of dag automata
Information processing letters, 2005-06, Vol.94 (5), p.231-240
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Communications in unknown networks: Preserving the secret of topology
Theoretical computer science, 2007-10, Vol.384 (2), p.184-200
2007
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Comparing free algebras in Topological and Classical Domain Theory
Theoretical computer science, 2010-04, Vol.411 (19), p.1900-1917
2010
Volltextzugriff (PDF)
1 – 25 von 186
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieEuropean Journal Of Operational Research
KollektionScienceDirect Journals (5 years ago - present)
ThemaTheoretical Computing
Suchergebnisse filtern
Filter anzeigen