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
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
Computer Algebra in Scientific Computing, 2006, p.49-63
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Embedding mappings and splittings with applications
Acta informatica, 2010-03, Vol.47 (2), p.77-110
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Generic Program for Minimal Subsets with Applications
Lecture notes in computer science, 2003, p.144-157
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computing and visualizing lattices of subgroups using relation algebra and RELVIES
Lecture notes in computer science, 2006, p.91-105
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementation of relational algebra using Binary Decision diagrams
Lecture notes in computer science, 2002, p.241-257
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
REL VIEW : An OBDD-based computer algebra system for relations
Lecture notes in computer science, 2005, p.40-51
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Calculating a relational program for transitive reductions of strongly connected graphs
Lecture notes in computer science, 2002, p.258-275
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Applying Relational Algebra in 3D Graphical Software Design
Lecture notes in computer science, 2004, p.62-73
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Investigating finite models of non-classical logics with relation algebra and RER VIEW
Lecture notes in computer science, 2006, p.31-49
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
SCAN Is Complete for All Sahlqvist Formulae
Lecture notes in computer science, 2004, p.149-162
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrating Model Checking and Theorem Proving for Relational Reasoning
Lecture notes in computer science, 2004, p.21-33
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Relation-algebraic derivation of spanning tree algorithms
Lecture notes in computer science, 2006, p.23-43
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Two Proof Systems for Peirce Algebras
Lecture notes in computer science, 2004, p.238-251
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables
Lecture notes in computer science, 2004, p.59-74
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Calculus of Typed Relations
Lecture notes in computer science, 2004, p.191-201
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Checking the Shape Safety of Pointer Manipulations
Lecture notes in computer science, 2004, p.48-61
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Decomposing Relations into Orderings
Lecture notes in computer science, 2004, p.265-277
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fixed-Point Characterisation of Winning Strategies in Impartial Games
Lecture notes in computer science, 2004, p.34-47
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards a Formalisation of Relational Database Theory in Constructive Type Theory
Lecture notes in computer science, 2004, Vol.LNCS (3051), p.137-148
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Rasiowa-Sikorski Style Relational Elementary Set Theory
Lecture notes in computer science, 2004, p.215-226
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Relations and GUHA-Style Data Mining II
Lecture notes in computer science, 2004, p.163-170
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Relational and Kleene-algebraic methods in computer science (Bad malente, 12-17 May 2003, revised selected papers)
Lecture notes in computer science, 2004
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tracing Relations Probabilistically
Lecture notes in computer science, 2004, p.86-98
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Institution Isomorphism for Planar Graph Colouring
Lecture notes in computer science, 2004, p.252-264
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Relational Data Analysis
Lecture notes in computer science, 2004, p.227-237
2004
Volltextzugriff (PDF)
1 – 25 von 31
Suche als RSS-Feed
Aktive Filter
Nur zeigenMit Volltextzugriff
ThemaAlgorithms
ThemaTheoretical Computing
Suchergebnisse filtern
Filter anzeigen