1–20 of 84 hits
Sort by:
Sort by:
-
Abstract Specialization and Its Application to Program Parallelization
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Forms of Logic Specifications: A Preliminary Study
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Extensible Logic Program Schemata
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Enhancing Partial Deduction via Unfold/Fold Rules
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Typed Norms for Typed Logic Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Partial Deduction in the Framework of Structural Synthesis of Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Refining Specifications to Logic Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Synthesis of Proof Procedures for Default Reasoning
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Inferring Argument Size Relationships with CLP(R)
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Specification-Based Automatic Verification of Prolog Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Symbolic Verification with Gap-Order Constraints
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Reductions of Petri Nets and Unfolding of Propositional Logic Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
A Transformation Tool for Pure Prolog Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Conjunctive Partial Deduction in Practice
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Redundant Argument Filtering of Logic Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Specialising Meta-Level Compositions of Logic Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Replacement Can Preserve Termination
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Logic Program Specialisation: How to Be More Specific
British Library Conference Proceedings | 1997|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
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.