|
|
|
|
| LEADER |
02627nam a2200361 a 4500 |
| 001 |
c000175396 |
| 003 |
CARM |
| 005 |
20000917194756.0 |
| 008 |
960415s1996 gw a b 100 0 eng |
| 010 |
|
|
|a 96018318
|
| 019 |
1 |
|
|a 12296010
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540612548
|
| 020 |
|
|
|a 3540612548
|
| 035 |
|
|
|a (OCoLC)34617715
|5 LACONCORD2021
|
| 040 |
|
|
|a TOC
|b eng
|c TOC
|d TOC
|
| 050 |
0 |
0 |
|a QA267
|b .H484 1996
|
| 082 |
0 |
0 |
|a 511.3
|2 20
|
| 245 |
0 |
0 |
|a Higher-order algebra, logic, and term rewriting :
|b second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers /
|c Gilles Dowek ... [et al.] (eds.)
|
| 246 |
3 |
0 |
|a HOA '95.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1996.
|
| 300 |
|
|
|a 287 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 1074.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 505 |
0 |
|
|a Term Graph Rewriting / Jan Willem Klop -- Approximation and Normalization Results for Typeable Term Rewriting Systems / Steffen van Bakel and Maribel Fernandez -- Modular Properties of Algebraic Type Systems / Gilles Barthe and Herman Geuvers -- Collapsing Partial Combinatory Algebras / Inge Bethke and Jan Willem Klop -- A Complete Proof System for Nested Term Graphs / Stefan Blom -- R[superscript n] and G[superscript n]-Logics / Claus Hintermeier, Helene Kirchner and Peter D. Mosses -- The Variable Containment Problem / Stefan Kahrs -- Higher-Order Equational Logic for Specification, Simulation and Testing / Karl Meinke -- The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving / Sava Mintchev and David Lester -- Assertions and Recursions / Bernhard Moller -- Development Closed Critical Pairs / Vincent van Oostrom -- Two Different Strong Normalization Proofs? / Jaco van de Pol.
|
| 505 |
8 |
|
|a Third-Order Matching in the Polymorphic Lambda Calculus / Jan Springintveld -- Higher-Order Algebra with Transfinite Types / L. J. Steggles -- Abstraction of Hardware Construction / Li-Guo Wang and Michael Mendler.
|
| 650 |
|
0 |
|a Rewriting systems (Computer science)
|x Congresses.
|
| 650 |
|
0 |
|a Algebra
|v Congresses.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|v Congresses.
|
| 700 |
1 |
|
|a Dowek, Gilles.
|
| 711 |
2 |
|
|a International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
|n (2nd :,
|d 1995 :
|c Paderborn, Germany)
|
| 852 |
8 |
|
|b CARM
|h A2:AL21B0
|i B05663
|p 0239261
|f BK
|
| 999 |
f |
f |
|i 0775bca9-8ff6-5b79-8a2f-54145aa676a6
|s 8da68c0f-3a99-5be1-b6f7-bb91a371a497
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05663
|f A2:AL21B0
|h Other scheme
|i book
|m 0239261
|