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
The Weisfeiler-Leman Algorithm and Recognition of Graph Properties
Algorithms and Complexity, p.245-257
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Weisfeiler-Leman Dimension of Fractional Packing
Language and Automata Theory and Applications, 2020, p.357-368
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On resource-bounded measure and pseudorandomness
Foundations of Software Technology and Theoretical Computer Science, 2006, p.235-249
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On the Power of Color Refinement
Fundamentals of Computation Theory, p.339-350
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Canonizing Hypergraphs under Abelian Group Action
Computing and Combinatorics, p.444-455
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Isomorphism Problem for Decision Trees and Decision Lists
Fundamentals of Computation Theory, p.16-27
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Total Deep Variation for Noisy Exit Wave Reconstruction in Transmission Electron Microscopy
Scale Space and Variational Methods in Computer Vision, p.491-502
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Complexity of Graph Isomorphism for Colored Graphs with Color Classes of Size 2 and 3
Lecture notes in computer science, 2002, p.121-132
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Graph isomorphism is low for PP
STACS 92, 2005, p.401-411
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On bounded truth-table, conjunctive, and randomized reductions to sparse sets
Foundations of Software Technology and Theoretical Computer Science, 2005, p.140-151
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Is the Standard Proof System for SAT P-Optimal?: Extended Abstract
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, p.361-372
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
OMS/Java: Model extensibility of OODBMS for advanced application domains
Advanced Information Systems Engineering, 2006, p.115-138
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Parameterized Complexity of Satisfactory Partition Problem
Combinatorial Optimization and Applications, p.76-90
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
De Bruijn Graphs and DNA Graphs: Extended Abstract
Graph-Theoretic Concepts in Computer Science, 2001, p.296-305
2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 Proceedings
2000
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
OpenMP Shared Memory Parallel Programming: International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, in, USA, July 30-31, 2001 Proceedings
1, 2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings
1997
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automata, Languages and Programming: 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings
1995
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Stacs 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings
1, 2002
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
High-Performance Computing and Networking: 8th International Conference, HPCN Europe 2000 Amsterdam, the Netherlands, May 8-10, 2000 Proceedings
1, 2000
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Stacs 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings
1, 2000
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Graphs of Bounded Treewidth Can Be Canonized in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mbox{{\sf AC}$^1$}$\end{document}
Computer Science – Theory and Applications, p.209-222
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Advanced Information Systems Engineering: 10th International Conference, CAiSE'98 Pisa, Italy, June 8–12, 1998 Proceedings
1998
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Pattern Recognition: 39th German Conference, GCPR 2017, Basel, Switzerland, September 12-15, 2017, Proceedings
1st Edition 2017, 2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Upper Bound for Torus Polynomials
Computer Science - Theory and Applications, 2021, Vol.12730, p.257-263
2021
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 27
Suche als RSS-Feed
Aktive Filter
ThemaScience & Technology
ThemaGovernment & Law
KollektionSpringerLink Series
Suchergebnisse filtern
Filter anzeigen