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 Issue of Reinstatement in Argumentation
Lecture notes in computer science, 2006, p.111-123
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Notions of Computation Determine Monads
Foundations of Software Science and Computation Structures, 2002, p.342-356
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Which aesthetic has the greatest effect on human understanding?
Graph Drawing, 2005, p.248-261
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies
Concept Lattices, 2004, p.189-207
2004
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The Assessment of Knowledge, in Theory and in Practice
Formal Concept Analysis, 2006, p.61-79
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
Lecture notes in computer science, 2005, p.301-331
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Experimental Evaluation of Classical Automata Constructions
Lecture notes in computer science, 2005, p.396-411
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Discrete Strategy Improvement Algorithm for Solving Parity Games
Computer Aided Verification, 2000, p.202-215
2000
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The GROOVE Simulator: A Tool for State Space Generation
Applications of Graph Transformations with Industrial Relevance, 2004, p.479-485
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Cuckoo Hashing
Algorithms — ESA 2001, 2001, p.121-133
2001
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Higher-Order Pushdown Trees Are Easy
Foundations of Software Science and Computation Structures, 2002, p.205-222
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Reasoning about the past with two-way automata
Automata, Languages and Programming, 1998, p.628-641
1998
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Quantum counting
Automata, Languages and Programming, 1998, p.820-831
1998
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Counterexample-Guided Abstraction Refinement
Computer Aided Verification, 2000, p.154-169
2000
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Graph Drawing by High-Dimensional Embedding
Graph Drawing, 2002, p.207-219
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Processing XML Streams with Deterministic Automata
Database Theory — ICDT 2003, 2003, p.173-189
2003
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Efficient Computation of Recurrence Diameters
Lecture notes in computer science, 2003, p.298-309
2003
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Handling Missing Attribute Values in Preterm Birth Data Sets
Lecture notes in computer science, 2005, p.342-351
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
FADE: Graph Drawing, Clustering, and Visual Abstraction
Graph Drawing, 2001, p.197-210
2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Multimeme Algorithms for Protein Structure Prediction
Lecture notes in computer science, 2002, p.769-778
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
Lecture notes in computer science, 2006, p.439-451
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Entanglement – A Measure for the Complexity of Directed Graphs with Applications to Logic and Games
Lecture notes in computer science, 2005, p.209-223
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Recovering and Exploiting Structural Knowledge from CNF Formulas
Lecture notes in computer science, 2002, p.185-199
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Risk-Sensitive Online Learning
Algorithmic Learning Theory, 2006, p.199-213
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Computing the Edit-Distance Between Unrooted Ordered Trees
Algorithms — ESA’ 98, 1998, p.91-102
1998
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 875
Suche als RSS-Feed
Aktive Filter
KollektioneBooks on EBSCOhost
ThemaComputer Science, Theory & Methods
PublikationsformBuchkapitel
ThemaTheoretical Computing
Suchergebnisse filtern
Filter anzeigen