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
Embedding mappings and splittings with applications
Acta informatica, 2010-03, Vol.47 (2), p.77-110
2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Applying relation algebra and RelView to solve problems on orders and lattices
Acta informatica, 2008-05, Vol.45 (3), p.211-236
2008
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Social Software for Coalition Formation
Lecture notes in computer science, 2006, p.1-30
2006
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
REL VIEW : An OBDD-based computer algebra system for relations
Lecture notes in computer science, 2005, p.40-51
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Checking the Shape Safety of Pointer Manipulations
Lecture notes in computer science, 2004, p.48-61
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Calculus of Typed Relations
Lecture notes in computer science, 2004, p.191-201
2004
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Rasiowa-Sikorski Style Relational Elementary Set Theory
Lecture notes in computer science, 2004, p.215-226
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Tracing Relations Probabilistically
Lecture notes in computer science, 2004, p.86-98
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Two Proof Systems for Peirce Algebras
Lecture notes in computer science, 2004, p.238-251
2004
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Note on Complex Algebras of Semigroups
Lecture notes in computer science, 2004, p.171-177
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Institution Isomorphism for Planar Graph Colouring
Lecture notes in computer science, 2004, p.252-264
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Relational Data Analysis
Lecture notes in computer science, 2004, p.227-237
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
SCAN Is Complete for All Sahlqvist Formulae
Lecture notes in computer science, 2004, p.149-162
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Integrating Model Checking and Theorem Proving for Relational Reasoning
Lecture notes in computer science, 2004, p.21-33
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Relations and GUHA-Style Data Mining II
Lecture notes in computer science, 2004, p.163-170
2004
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods
Lecture notes in computer science, 2004, p.1-7
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Fixed-Point Characterisation of Winning Strategies in Impartial Games
Lecture notes in computer science, 2004, p.34-47
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables
Lecture notes in computer science, 2004, p.59-74
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Decomposing Relations into Orderings
Lecture notes in computer science, 2004, p.265-277
2004
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Applying Relational Algebra in 3D Graphical Software Design
Lecture notes in computer science, 2004, p.62-73
2004
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 33
Suche als RSS-Feed
Aktive Filter
Nur zeigenMit Volltextzugriff
ThemaTheoretical Computing
Suchergebnisse filtern
Filter anzeigen