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
Statistische Abfragen mit Alma für die Fachreferatsarbeit
o-bib, 2018-12, Vol.5 (4)
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
aviDa: Entwicklung einer Forschungsdateninfrastruktur für audiovisuelle Daten der Qualitativen Sozialforschung
o-bib, 2021-11, Vol.8 (4)
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analysis and Correctness of Algebraic Graph and Model Transformations
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analysis and Correctness of Algebraic Graph and Model Transformations
1. Aufl., 2011
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
Mathematical structures in computer science, 2014-08, Vol.24 (4)
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards Local Confluence Analysis for Amalgamated Graph Transformation
Graph Transformation, p.69-86
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Multi-amalgamation of rules with application conditions in M-adhesive categories
Mathematical structures in computer science, 2014-08, Vol.24 (4)
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs
Theoretical computer science, 2012-03, Vol.424, p.46-68
2012
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Finitary M-adhesive categories
Mathematical structures in computer science, 2014-08, Vol.24 (4)
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
How to delete categorically — Two pushout complement constructions
Journal of symbolic computation, 2011-03, Vol.46 (3), p.246-271
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory: Preface
Electronic proceedings in theoretical computer science, 2012-08, Vol.93
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Multi-amalgamation of rules with application conditions in -adhesive categories
Mathematical structures in computer science, 2014-08, Vol.24 (4), p.1-68, Article 240405
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Multi-amalgamation of rules with application conditions in $\mathcal{M}$-adhesive categories
Mathematical structures in computer science, 2014-08, Vol.24 (4)
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
Mathematical structures in computer science, 2014-08, Vol.24 (4)
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
Mathematical structures in computer science, 2014-08, Vol.24 (4), p.1-48, Article 240406
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Finitary $\mathcal{M}$-adhesive categories
Mathematical structures in computer science, 2014-08, Vol.24 (4)
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Finitary -adhesive categories
Mathematical structures in computer science, 2014-08, Vol.24 (4), p.1-40, Article 240403
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal analysis of model transformations based on triple graph grammars
Mathematical structures in computer science, 2014-08, Vol.24 (4), p.1-57, Article 240408
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
Graph Transformations and Model-Driven Engineering, p.121-140
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Graph Transformations, p.155-170
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foreword
Journal of symbolic computation, 2011-03, Vol.46 (3), p.219-221
2011
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Multi-Amalgamation in Adhesive Categories
Graph Transformations, p.346-361
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars: Flexible Relations between Source and Target Elements
Graph Transformations, p.141-155
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Checking Bisimilarity for Attributed Graph Transformation
Foundations of Software Science and Computation Structures, p.113-128
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Parallelism and Concurrency of Stochastic Graph Transformations
Graph Transformations, p.96-110
Volltextzugriff (PDF)
1 – 25 von 43
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen