Year of publication
Type of media
Type of material
Licence
Language
1–20 of 126 hits
Sort by:
Sort by:
-
Operational semantics for declarative multi-paradigm languages
Elsevier | 2004|Keywords: Functional logic programming -
Semantic Versioning Checking in a Declarative Package Manager
Free accessDataCite | 2018|Keywords: functional logic programming -
An integrated framework for the diagnosis and correction of rule-based programs
Elsevier | 2010|Keywords: Functional logic programming -
Improving Lazy Non-Deterministic Computations by Demand Analysis
Free accessDataCite | 2012|Keywords: functional logic programming -
Mencius’s Strategies of Political Argumentation
Online Contents | 2018|Keywords: Truth-functional logic -
Guiding reinvention of conventional tools of mathematical logic: students’ reasoning about mathematical disjunctions
Online Contents | 2016|Keywords: Truth-functional logic -
Rules + strategies for transforming lazy functional logic programs
Elsevier | 2003|Keywords: Functional logic programming -
Declarative Processing of Semistructured Web Data
Free accessDataCite | 2011|Keywords: functional logic programming -
Safe typing of functional logic programs with opaque patterns and local bindings
Elsevier | 2014|Keywords: Functional-logic programming -
Transforming Boolean equalities into constraints
Online Contents | 2016|Keywords: Functional logic programming -
lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)
Free accessBASE | 2019|Keywords: Functional logic programming -
Semantic Versioning Checking in a Declarative Package Manager
Free accessBASE | 2018|Keywords: functional logic programming -
Function-logic simulation of the degradation of digital large-scale integrated circuits under the influence of radiation
Online Contents | 2015|Keywords: Functional Logic -
A Concurrent Operational Semantics for Constraint Functional Logic Programming
Free accessDataCite | 2012|Keywords: functional logic programming. -
Multi-functional all-optical photonic crystal logic gate using nonlinear directional coupler
Online Contents | 2021|Keywords: Multi-functional logic gate -
Improving Lazy Non-Deterministic Computations by Demand Analysis
Free accessBASE | 2012|Keywords: functional logic programming -
lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)
Free accessDataCite | 2019|Keywords: Functional logic programming -
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language
Elsevier | 2010|Keywords: Functional logic programming -
Declarative Processing of Semistructured Web Data
Free accessBASE | 2011|Keywords: functional logic programming
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.