Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
1–20 of 96,507 hits
Sort by:
Sort by:
-
Functional and constraint logic programming : 26th international workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers
TIBKAT | 2019|Keywords: Funktionale Programmierung, Constraint-Programmierung, Logische Programmierung -
Answer set programming
TIBKAT | 2019|Keywords: Deklarative Programmierung, Logische Programmierung -
A Lazy Desugaring System for Evaluating Programs with Sugars
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
The journal of functional and logic programming : JFLP
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1995 -Keywords: Funktionale Programmierung, Logische Programmierung -
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
A Functional Account of Probabilistic Programming with Possible Worlds: Declarative Pearl
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
System Description: Lang-n-Change - A Tool for Transforming Languages
TIBKAT | 2020|Keywords: Funktionale Programmierung, Logische Programmierung -
Language-Integrated Query with Nested Data Structures and Grouping
TIBKAT | 2020|Keywords: Funktionale Programmierung, Logische Programmierung -
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
TIBKAT | 2020|Keywords: Funktionale Programmierung, Logische Programmierung -
Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings
TIBKAT | 2020|Keywords: Funktionale Programmierung, Logische Programmierung -
Core Hybrid Event-B I: Single Hybrid Event-B machines
Online Contents | 2015|Keywords: Programmierung -
Generating C: System Description
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
Explanations as Programs in Probabilistic Logic Programming
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
Translation Certification for Smart Contracts
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
Scheduling Complexity of Interleaving Search
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung -
Zipping Strategies and Attribute Grammars
TIBKAT | 2022|Keywords: Funktionale Programmierung, Logische Programmierung
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:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
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.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.