Year of publication
Type of media
Type of material
Licence
Language
Synonyms were used for: Programmierung
Search without synonyms: keywords:(Programmierung)
Used synonyms:
- computer programming
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programming
-
Taming distributed system complexity through formal patterns
Online Contents | 2014|Keywords: Programmierung -
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
TIBKAT | 2022|Keywords: Logische Programmierung -
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
TIBKAT | 2022|Keywords: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
An Efficient Canonical Narrowing Implementation for Protocol Analysis
TIBKAT | 2022|Keywords: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
Checking Sufficient Completeness by Inductive Theorem Proving
TIBKAT | 2022|Keywords: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
The rewriting logic semantics project: A progress report
Elsevier | 2013|Keywords: Programming languages -
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude
Springer Verlag | 2018|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Formal Modeling and Analysis of the Walter Transactional Data Store
Springer Verlag | 2018|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Twenty Years of Rewriting Logic
Springer Verlag | 2010|Keywords: Logic Programming, Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Parallel programming in maude
National licenceSpringer Verlag | 1992|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Proving Ground Confluence of Equational Specifications Modulo Axioms
Springer Verlag | 2018|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
A Modular Equational Generalization Algorithm
Springer Verlag | 2009|Keywords: Software Engineering/Programming and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters -
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking
Springer Verlag | 2017|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
The rewriting logic semantics project
Elsevier | 2007|Keywords: Semantics and analysis of programming languages -
A Dependency Pair Framework for A ∨ C-Termination
Springer Verlag | 2010|Keywords: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Operational semantics of OBJ-3
National licenceSpringer Verlag | 1988|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
The Linear Temporal Logic of Rewriting Maude Model Checker
Springer Verlag | 2010|Keywords: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms
Springer Verlag | 2019|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms
Springer Verlag | 2017|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Operational termination of conditional term rewriting systems
Elsevier | 2005|Keywords: Programming languages
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.