21–40 of 84 hits
Sort by:
Sort by:
-
Generalised Logic Program Transformation Schemas
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Unfolding the Mystery of Mergesort
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Implicit Program Synthesis by a Reversible Metainterpreter
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Logic Program Schemas, Constraints and Semi-unification
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
A Multi-level Approach to Program Synthesis
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Development of Correct Transformation Schemata for Prolog Programs
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Constrained Regular Approximation of Logic Programs
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Preserving Termination of Tabled Logic Programs While Unfolding
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
On Correct Program Schemas
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
To Parse or Not To Parse
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
A Higher Order Reconstruction of Stepwise Enhancement
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Towards a Logic for Reasoning About Logic Programs Transformation
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Programs Without Failures
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Induction of Prolog Programs with Markus
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Inductive Synthesis of Logic Programs and Inductive Logic Programming
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Guiding Synthesis Proofs
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Some Further Issues in Finite Unfolding (Abstract)
British Library Conference Proceedings | 1994|Keywords: logic program synthesis
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.