Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
Occam's Razor applied to the Petri net coverability problem
Theoretical computer science, 2018-11, Vol.750, p.38-52
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Declarative modeling of the operational behavior of logic languages
Theoretical computer science, 1989-12, Vol.69 (3), p.289-318
1989
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Recursive query processing: the power of logic
Theoretical computer science, 1989-12, Vol.69 (1), p.1-53
1989
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Some decision problems about controlled rewriting systems
Theoretical computer science, 1990-04, Vol.71 (3), p.281-346
1990
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A generalization of the concept of sketch
Theoretical computer science, 1990-01, Vol.70 (1), p.159-178
1990
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Topological invariants of classification problems
Theoretical computer science, 1990-04, Vol.72 (1), p.3-26
1990
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Logical systems for structured specifications
Theoretical computer science, 2002-09, Vol.286 (2), p.197-245
2002
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Identification of function distinguishable languages
Theoretical computer science, 2003-01, Vol.290 (3), p.1679-1711
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Synchronous consensus under hybrid process and link failures
Theoretical computer science, 2011-09, Vol.412 (40), p.5602-5630
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On generic context lemmas for higher-order calculi with sharing
Theoretical computer science, 2010-03, Vol.411 (11), p.1521-1541
2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computability on subsets of metric spaces
Theoretical computer science, 2003-08, Vol.305 (1-3), p.43-76
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Almost Disjoint Paths and Separating by Forbidden Pairs
Theoretical computer science, 2024-01, Vol.982, p.114272, Article 114272
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Main-memory triangle computations for very large (sparse (power-law)) graphs
Theoretical computer science, 2008-11, Vol.407 (1), p.458-473
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
PPAD-complete approximate pure Nash equilibria in Lipschitz games
Theoretical computer science, 2023-11, Vol.980, p.114218, Article 114218
2023
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Short fail-stop signature scheme based on factorization and discrete logarithm assumptions
Theoretical computer science, 2009-03, Vol.410 (8), p.736-744
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Succinct representations of permutations and functions
Theoretical computer science, 2012-06, Vol.438, p.74-88
2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Well-structured transition systems everywhere
Theoretical computer science, 2001, Vol.256 (1), p.63-92
2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Jumping and escaping: Modular termination and the abstract path ordering
Theoretical computer science, 2012-12, Vol.464, p.35-47
2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The complexity of Kemeny elections
Theoretical computer science, 2005-12, Vol.349 (3), p.382-391
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Proving properties of the Chord protocol using the ASM formalism
Theoretical computer science, 2019-01, Vol.756, p.64-93
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Degrees of non-monotonicity for restarting automata
Theoretical computer science, 2006-12, Vol.369 (1), p.1-34
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Shape matching by random sampling
Theoretical computer science, 2012-07, Vol.442, p.2-12
2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Dominating set is fixed parameter tractable in claw-free graphs
Theoretical computer science, 2011-11, Vol.412 (50), p.6982-7000
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The rewriting logic semantics project
Theoretical computer science, 2007-04, Vol.373 (3), p.213-237
2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Topological properties of real number representations
Theoretical computer science, 2002-07, Vol.284 (2), p.241-257
2002
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 175
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieTheoretical Computer Science
Suchergebnisse filtern
Filter anzeigen