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
Calculating a relational program for transitive reductions of strongly connected graphs
Lecture notes in computer science, 2002, p.258-275
2002
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Relation-algebraic derivation of spanning tree algorithms
Lecture notes in computer science, 2006, p.23-43
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards a design calculus for CSP
Science of computer programming, 1996, Vol.26 (1), p.99-115
1996
Link zum Volltext
Verfügbarkeit prüfen
1 – 3 von 3
Suche als RSS-Feed
Aktive Filter
Nur zeigenMit Volltextzugriff
ThemaProgramming Theory
ThemaTheoretical Computing
Suchergebnisse filtern
Filter anzeigen