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
On the complexity of nucleolus computation for bipartite b-matching games
Theoretical computer science, 2024-06, Vol.998, p.114476, Article 114476
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Interval iteration algorithm for MDPs and IMDPs
Theoretical computer science, 2018-07, Vol.735, p.111-131
2018
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Geometry of Interaction V: Logic in the hyperfinite factor
Theoretical computer science, 2011-04, Vol.412 (20), p.1860-1883
2011
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The compatibility of the minimalist foundation with homotopy type theory
Theoretical computer science, 2024-04, Vol.991, p.114421, Article 114421
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Breaking the 2-competitiveness barrier for two servers in a tree
Theoretical computer science, 2023-10, Vol.977, p.114152, Article 114152
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Domain adaptation and sample bias correction theory and algorithm for regression
Theoretical computer science, 2014-01, Vol.519, p.103-126
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Higher-order games with dependent types
Theoretical computer science, 2023-09, Vol.974, p.114111, Article 114111
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Linear constructions for DNA codes
Theoretical computer science, 2005-04, Vol.334 (1), p.99-113
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages
Theoretical computer science, 2023-04, Vol.954, p.113786, Article 113786
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Tissue P systems
Theoretical computer science, 2003-03, Vol.296 (2), p.295-326
2003
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The identity type weak factorisation system
Theoretical computer science, 2008-12, Vol.409 (1), p.94-109
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The one-round multi-player discrete Voronoi game on grids and trees
Theoretical computer science, 2020-10, Vol.838, p.143-159
2020
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A framework for security analysis of mobile wireless networks
Theoretical computer science, 2006-11, Vol.367 (1), p.203-227
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Learning and generalization with the information bottleneck
Theoretical computer science, 2010-06, Vol.411 (29), p.2696-2711
2010
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Robustness of temporal logic specifications for continuous-time signals
Theoretical computer science, 2009-09, Vol.410 (42), p.4262-4291
2009
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Extended capabilities for visual cryptography
Theoretical computer science, 2001-01, Vol.250 (1), p.143-161
2001
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A quantum-inspired multimodal sentiment analysis framework
Theoretical computer science, 2018-12, Vol.752, p.21-40
2018
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Proof techniques in Membrane Computing
Theoretical computer science, 2021-03, Vol.862, p.236-249
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Combining effects: Sum and tensor
Theoretical computer science, 2006-07, Vol.357 (1), p.70-99
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Optimal parameter choices via precise black-box analysis
Theoretical computer science, 2020-01, Vol.801, p.1-34
2020
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Resources, concurrency, and local reasoning
Theoretical computer science, 2007-05, Vol.375 (1), p.271-307
2007
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A semantic measure of the execution time in linear logic
Theoretical computer science, 2011-04, Vol.412 (20), p.1884-1902
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The metric dimension of Zn×Zn×Zn is ⌊3n/2
Theoretical computer science, 2020-02, Vol.806, p.344-362
2020
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Learning approximately optimal contracts
Theoretical computer science, 2023-11, Vol.980, p.114219, Article 114219
2023
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On group-characterizability of homomorphic secret sharing schemes
Theoretical computer science, 2021-11, Vol.891, p.116-130
2021
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 14.850
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieTheoretical Computer Science
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
Sprache
1 weiteren anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
5 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
4 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt