Author: "Schachte, Peter" / Publisher: elsevier bv - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Schachte, Peter"' showing total 4 results

Start Over Author "Schachte, Peter" Publisher elsevier bv

4 results on '"Schachte, Peter"'

1. A complete refinement procedure for regular separability of context-free languages

Author: Gange, Graeme, primary, Navas, Jorge A., additional, Schachte, Peter, additional, Søndergaard, Harald, additional, and Stuckey, Peter J., additional
Published: 2016
Full Text: View/download PDF

2. Information loss in knowledge compilation: A comparison of Boolean envelopes

Author: Schachte, Peter, primary, Søndergaard, Harald, additional, Whiting, Leigh, additional, and Henshall, Kevin, additional
Published: 2010
Full Text: View/download PDF

3. Precise goal-independent abstract interpretation of constraint logic programs

Author: Schachte, Peter, primary
Published: 2003
Full Text: View/download PDF

4. Two classes of Boolean functions for dependency analysis

Author: Armstrong, Tania, primary, Marriott, Kim, additional, Schachte, Peter, additional, and Søndergaard, Harald, additional
Published: 1998
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results