1-20 of 64
Danny De Schreye
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0051
EISBN: 9780262291118
PDF
Book Chapter

It Is Declarative

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0052
EISBN: 9780262291118
PDF
Book Chapter

Domains as First Class Objects in CLP(FD)

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0053
EISBN: 9780262291118
PDF
Book Chapter

A Characterization of Acceptability

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0054
EISBN: 9780262291118
PDF
Book Chapter

A Static Analysis for Classical Linear Logic Programming Language

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0055
EISBN: 9780262291118
PDF
Book Chapter

Isoinitial Models for Logic Programs

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0056
EISBN: 9780262291118
PDF
Book Chapter

Implementing Prolog with Chronological Garbage Collection

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0057
EISBN: 9780262291118
PDF
Book Chapter

A Regular Type Analysis of Logic Programs

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0058
EISBN: 9780262291118
PDF
Book Chapter

Using Static Analysis to Compile non-Sequential Functional Logic Programs

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0059
EISBN: 9780262291118
PDF
Book Chapter

Practical Investigation of Constraints with Graph Views

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0060
EISBN: 9780262291118
PDF
Book Chapter

Generalized Unfold/fold Transformation Systems for Normal Logic Programs

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0061
EISBN: 9780262291118
PDF
Book Chapter

Reactive Logic Programming by Reinforcement Learning

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0062
EISBN: 9780262291118
PDF
Book Chapter

A Linear Tabling Mechanism

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0063
EISBN: 9780262291118
PDF
Book Chapter

Author Index

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0064
EISBN: 9780262291118
PDF
Book Chapter

Transforming Inductive Definitions

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0041
EISBN: 9780262291118
PDF
Book Chapter

Binding-Time Analysis for Mercury

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0042
EISBN: 9780262291118
PDF
Book Chapter

Solving TSP with Time Windows with Constraints

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0043
EISBN: 9780262291118
PDF
Book Chapter

Finding Fair Allocations for the Coalition Problem with Constraints

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0044
EISBN: 9780262291118
PDF
Book Chapter

Constraint-based Round Robin Tournament Planning

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0045
EISBN: 9780262291118
PDF
Book Chapter

Logic Programming with Requests

By Danny De Schreye
Publisher: The MIT Press
Published: 08 November 1999
DOI: 10.7551/mitpress/4304.003.0046
EISBN: 9780262291118
PDF