1–20 of 84 hits
Sort by:
Sort by:
-
Using Call/Exit Analysis for Logic Program Transformation
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Using Abstract Interpretation for Goal Replacement
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Unfolding the Mystery of Mergesort
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Typed Norms for Typed Logic Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Transforming Specifications of Observable Behaviour into Programs
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Toward the Synthesis of Constraint Propagation Algorithms
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Towards a Logic for Reasoning About Logic Programs Transformation
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
To Parse or Not To Parse
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
The Power of Partial Evaluation
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Termination Analysis for Tabled Logic Programming
British Library Conference Proceedings | 1998|Keywords: logic program synthesis -
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Synthesis of Proof Procedures for Default Reasoning
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Synthesis of Programs from Unfold/Fold Proofs
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Synthesis of Logic Programs from Object-Oriented Formal Specifications
Free accessBASE | 2011Keywords: Logic Program Synthesis -
Symbolic Verification with Gap-Order Constraints
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 -
Specialising the Ground Representation in the Logic Programming Language Goedel
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Specialising Meta-Level Compositions of Logic Programs
British Library Conference Proceedings | 1997|Keywords: logic program synthesis -
Some Further Issues in Finite Unfolding (Abstract)
British Library Conference Proceedings | 1994|Keywords: logic program synthesis -
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types
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.