UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

1st ed. 2023., 2023

Volltextzugriff (PDF)

Mapping features to models: a template approach based on superimposed variants

Generative Programming and Component Engineering, 2005, p.422-437

1ère éd, 2005

Volltextzugriff (PDF)

FeatureC++: on the symbiosis of feature-oriented and aspect-oriented programming

Generative Programming and Component Engineering, 2005, p.125-140

1ère éd, 2005

Volltextzugriff (PDF)

Contextuality in Distributed Systems

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.52-68

2023

Volltextzugriff (PDF)

The Structure of Locally Integral Involutive Po-monoids and Semirings

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.69-86

2023

Volltextzugriff (PDF)

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.158-175

2023

Volltextzugriff (PDF)

Representable and Diagonally Representable Weakening Relation Algebras

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.140-157

2023

Volltextzugriff (PDF)

What Else is Undecidable About Loops?

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.176-193

2023

Volltextzugriff (PDF)

On the Complexity of Kleene Algebra with Domain

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.208-223

2023

Volltextzugriff (PDF)

Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.17-33

2023

Volltextzugriff (PDF)

Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.1-16

2023

Volltextzugriff (PDF)

Towards a Theory of Conversion Relations for Prefixed Units of Measure

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.258-273

2023

Volltextzugriff (PDF)

Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.87-104

2023

Volltextzugriff (PDF)

Relational Algebraic Approach to the Real Numbers the Additive Group

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.274-292

2023

Volltextzugriff (PDF)

Duoidally Enriched Freyd Categories

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.241-257

2023

Volltextzugriff (PDF)

Implication Algebras and Implication Semigroups of Binary Relations

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.194-207

2023

Volltextzugriff (PDF)

Dependences Between Domain Constructions in Heterogeneous Relation Algebras

Relational and Algebraic Methods in Computer Science, 2023, Vol.13896, p.105-121

2023

Volltextzugriff (PDF)

A versatile kernel for multi-language AOP

Generative Programming and Component Engineering, 2005, p.173-188

1ère éd, 2005

Volltextzugriff (PDF)

Statically safe program generation with safegen

Generative Programming and Component Engineering, 2005, p.309-326

1ère éd, 2005

Volltextzugriff (PDF)

Generalized type-based disambiguation of meta programs with concrete object syntax

Generative Programming and Component Engineering, 2005, p.157-172

1ère éd, 2005

Volltextzugriff (PDF)

Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code

Generative Programming and Component Engineering, 2005, p.256-274

1ère éd, 2005

Volltextzugriff (PDF)

Semi-inversion of guarded equations

Generative Programming and Component Engineering, 2005, p.189-204

1ère éd, 2005

Volltextzugriff (PDF)

A type system for reflective program generators

Generative Programming and Component Engineering, 2005, p.327-341

1ère éd, 2005

Volltextzugriff (PDF)

Certifiable program generation

Generative Programming and Component Engineering, 2005, p.17-28

1ère éd, 2005

Volltextzugriff (PDF)

Implicitly heterogeneous multi-stage programming

Generative Programming and Component Engineering, 2005, p.275-292

1ère éd, 2005

Volltextzugriff (PDF)

1 – 25 von 1.241

Menü

Weitere Dienste

Einstellungen

Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Mapping features to models: a template approach based on superimposed variants

FeatureC++: on the symbiosis of feature-oriented and aspect-oriented programming

Contextuality in Distributed Systems

The Structure of Locally Integral Involutive Po-monoids and Semirings

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Representable and Diagonally Representable Weakening Relation Algebras

What Else is Undecidable About Loops?

On the Complexity of Kleene Algebra with Domain

Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture

Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components

Towards a Theory of Conversion Relations for Prefixed Units of Measure

Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients

Relational Algebraic Approach to the Real Numbers the Additive Group

Duoidally Enriched Freyd Categories

Implication Algebras and Implication Semigroups of Binary Relations

Dependences Between Domain Constructions in Heterogeneous Relation Algebras

A versatile kernel for multi-language AOP

Statically safe program generation with safegen

Generalized type-based disambiguation of meta programs with concrete object syntax

Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code

Semi-inversion of guarded equations

A type system for reflective program generators

Certifiable program generation

Implicitly heterogeneous multi-stage programming

Suchergebnisse filtern