The Resource Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings, Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings, Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Label
Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings
Title
Conditional and typed rewriting systems
Title remainder
4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings
Statement of responsibility
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA267
LC item number
.I5783 1994
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1994
http://bibfra.me/vocab/lite/meetingName
International Workshop on Conditional (and Typed) Rewriting Systems
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1994
http://library.link/vocab/relatedWorkOrContributorName
  • Dershowitz, Nachum
  • Lindenstrauss, Naomi
  • International Colloquium on Automata, Languages, and Programming
http://library.link/vocab/subjectName
  • Rewriting systems (Computer science)
  • Computer programming
  • Algorithms
  • réecriture conditionnelle
  • réécriture
  • Algorithms
  • Computer programming
  • Rewriting systems (Computer science)
  • Ordinateurs
  • Algorithmes
  • Réécriture, Systèmes de (informatique)
Label
Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings, Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Instantiates
Publication
Note
Held in conjunction with the Twenty-first Colloquium on Automata, Language, and Programming (ICALP'94)
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Associative-commutative superposition / Leo Bachmair and Harald Ganzinger -- A calculus for rippling / David A. Basin and Toby Walsh -- Equation solving in geometrical theories / Philippe Balbiani -- LSE narrowing for decreasing conditional term rewrite systems / Alexander Bockmayr and Andreas Werner -- Preserving confluence for rewrite systems with built-in operations / Reinhard Bündgen -- Hierarchical termination / Nachum Dershowitz -- Well-foundedness of term orderings / M.C.F. Ferreira and H. Zantema -- A new characterisation of AC-termination and application / Jean-Michel Gélis -- Relative normalization in orthogonal expression reduction systems / John Glauert and Zurab Khasidashvili -- On termination and confluence of conditional rewrite systems / Bernhard Gramlich -- How to transform canonical decreasing HCTRS into equivalent canonical TRSs / Claus Hintermeier -- Termination for restricted derivations and conditional rewrite systems / Charles Hoot -- Rewriting for preorder relations / Paola Inverardi -- Strong sequentiality of left-linear overlapping rewrite systems / Jean-Pierre Jouannaud and Walid Sadfi -- A conflict between call-by-need computation and parallelism / Richard Kennaway -- The complexity of testing ground reducibility for linear word rewriting systems with variables / Gregory Kucherov and Michaël Rusinowitch -- Coherence for Cartesian closed categories : a sequential approach / Akira Mori and Yoshihiro Matsumoto -- Modular properties of constructor-sharing conditional term rewriting systems / Enno Ohlebusch -- Church-Rosser property and unique normal form property of non-duplicating term rewriting systems / Yoshihito Toyama and Michio Oyamaguchi -- The transformation of term rewriting systems based on well-formedness preserving mappings / Jan C. Verheul and Peter G. Kluit -- Abstract notions and inference systems for proofs by mathematical induction / Claus-Peter Wirth and Klaus Becker
Dimensions
24 cm.
Extent
viii, 373 pages
Isbn
9783540603818
Lccn
95039593
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
  • (OCoLC)33103687
  • (OCoLC)ocm33103687
Label
Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings, Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Publication
Note
Held in conjunction with the Twenty-first Colloquium on Automata, Language, and Programming (ICALP'94)
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Associative-commutative superposition / Leo Bachmair and Harald Ganzinger -- A calculus for rippling / David A. Basin and Toby Walsh -- Equation solving in geometrical theories / Philippe Balbiani -- LSE narrowing for decreasing conditional term rewrite systems / Alexander Bockmayr and Andreas Werner -- Preserving confluence for rewrite systems with built-in operations / Reinhard Bündgen -- Hierarchical termination / Nachum Dershowitz -- Well-foundedness of term orderings / M.C.F. Ferreira and H. Zantema -- A new characterisation of AC-termination and application / Jean-Michel Gélis -- Relative normalization in orthogonal expression reduction systems / John Glauert and Zurab Khasidashvili -- On termination and confluence of conditional rewrite systems / Bernhard Gramlich -- How to transform canonical decreasing HCTRS into equivalent canonical TRSs / Claus Hintermeier -- Termination for restricted derivations and conditional rewrite systems / Charles Hoot -- Rewriting for preorder relations / Paola Inverardi -- Strong sequentiality of left-linear overlapping rewrite systems / Jean-Pierre Jouannaud and Walid Sadfi -- A conflict between call-by-need computation and parallelism / Richard Kennaway -- The complexity of testing ground reducibility for linear word rewriting systems with variables / Gregory Kucherov and Michaël Rusinowitch -- Coherence for Cartesian closed categories : a sequential approach / Akira Mori and Yoshihiro Matsumoto -- Modular properties of constructor-sharing conditional term rewriting systems / Enno Ohlebusch -- Church-Rosser property and unique normal form property of non-duplicating term rewriting systems / Yoshihito Toyama and Michio Oyamaguchi -- The transformation of term rewriting systems based on well-formedness preserving mappings / Jan C. Verheul and Peter G. Kluit -- Abstract notions and inference systems for proofs by mathematical induction / Claus-Peter Wirth and Klaus Becker
Dimensions
24 cm.
Extent
viii, 373 pages
Isbn
9783540603818
Lccn
95039593
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
  • (OCoLC)33103687
  • (OCoLC)ocm33103687

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...