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...FM 2012: Formal Methods, 2012, p.68-84
2012
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.500-519
2016
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.209-228
2021
Volltextzugriff (PDF)
Runtime Verification, p.216-232
Volltextzugriff (PDF)
Journal of logic and computation, 2010-06, Vol.20 (3), p.675-706
2010
Volltextzugriff (PDF)
Runtime Verification, p.334-352
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.596-610
Volltextzugriff (PDF)
Language, Culture, Computation. Computing - Theory and Technology, p.103-155
Volltextzugriff (PDF)
Runtime Verification, p.111-125
Volltextzugriff (PDF)
Logic journal of the IGPL, 2009-12, Vol.17 (6), p.631-696
2009
Volltextzugriff (PDF)
Logic journal of the IGPL, 2009-12, Vol.17 (6), p.631-696
2009
Volltextzugriff (PDF)
Runtime Verification, p.97-110
Volltextzugriff (PDF)
Journal of logic and computation, 2008-06, Vol.18 (3), p.341-359
2008
Volltextzugriff (PDF)
Relational and Algebraic Methods in Computer Science, p.412-428
Volltextzugriff (PDF)
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013, p.658-663
2013
Volltextzugriff (PDF)
Category Theory and Computer Science, 2005, p.182-199
2005
Volltextzugriff (PDF)
Runtime Verification, p.1-24
Volltextzugriff (PDF)
Category Theory and Computer Science, 2005, p.138-139
2005
Volltextzugriff (PDF)
Category Theory and Computer Science, 2005, p.159-179
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Category Theory
- Computer Science, Software Engineering
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Engineering
- Engineering, Electrical & Electronic
- Forgetful Functor
- Left Adjoint
- Terminal Object
- Monoidal Category
- Natural Transformation
- Categorical Semantic
- Full Subcategory
- Lambda Calculus
- Type Theory
Kollektion
Zeitschrift / Serie
- Formal Aspects Of Computing
- Journal Of Logic And Computation
- Logic Journal Of The Igpl
- Category Theory And Computer Programming
- Fundamenta Informaticae
- International Journal On Software Tools For Technology Transfer
- Journal Of Logical And Algebraic Methods In Programming
- Lecture Notes In Computer Science
- Mathematical Structures In Computer Science
- Software Engineering Notes