Articoli correlati a Algebraic and Logic Programming: 4th International...
Algebraic and Logic Programming: 4th International Conference, ALP'94 Madrid, Spain, September 14-16, 1994 Proceedings: 850 - Brossura
Sinossi
This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.
Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Concurrent constraint programming.- Specifications using multiple-conclusion logic programs.- Viewing a program transformation system at work.- Proving implications by algebraic approximation.- Sufficient completeness and parameterized proofs by induction.- Proving behavioural theorems with standard first-order logic.- How to realize LSE narrowing.- Compositional analysis for equational Horn programs.- Equation solving in projective planes and planar ternary rings.- From eventual to atomic and locally atomic CC programs: A concurrent semantics.- Concurrent logic programming as uniform linear proofs.- Three-valued completion for abductive logic programs.- A sequential reduction strategy.- On modularity of termination and confluence properties of conditional rewrite systems.- Syntactical analysis of total termination.- Logic programs as term rewriting systems.- Higher-order minimal function graphs.- Reasoning about layered, wildcard and product patterns.- Preserving universal termination through unfold/fold.- A logic for variable aliasing in logic programs.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2009
- ISBN 10 3540584315
- ISBN 13 9783540584315
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine324
- RedattoreLevi Giorgio
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 55,51
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Algebraic and Logic Programming: 4th International...
Foto dell'editore
Algebraic And Logic Programming
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-341423
Quantità: 1 disponibili
Foto dell'editore
Algebraic And Logic Programming
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-156211
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic and Logic Programming
Editore:
Springer Berlin Heidelberg, 1994
ISBN 10: 3540584315
ISBN 13: 9783540584315
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP 94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP 94 succeeded in strengthening the . Codice articolo 4894711
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Editore:
Springer Berlin Heidelberg, 1994
ISBN 10: 3540584315
ISBN 13: 9783540584315
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming. Codice articolo 9783540584315
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic and Logic Programming
ISBN 10: 3540584315
ISBN 13: 9783540584315
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch. Codice articolo 9783540584315
Quantità: 1 disponibili
Foto dell'editore
Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (Lecture Notes in Computer Science, 850)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540584315_new
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic and Logic Programming
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 324. Codice articolo 263077003
Quantità: 1 disponibili
Foto dell'editore
Algebraic and Logic Programming
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Used. pp. 324 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 5852244
Quantità: 1 disponibili
Foto dell'editore
Algebraic and Logic Programming
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Used. pp. 324. Codice articolo 183076993
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic and Logic Programming
Editore:
Springer Berlin Heidelberg Aug 1994, 1994
ISBN 10: 3540584315
ISBN 13: 9783540584315
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming. 324 pp. Englisch. Codice articolo 9783540584315
Quantità: 2 disponibili