Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /

"This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995. The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and t...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), International Conference on Rewriting Techniques and Applications
Other Authors: Hsiang, Jieh, 1954-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1995]
Series:Lecture notes in computer science ; 914.
Subjects:
Rewriting systems (Computer science) > Congresses.
Computer programming > Congresses.
Algorithms > Congresses.
déduction.
lambda calcul.
démonstration théorème.
logique.
réécriture.
Algorithmes > Congrès.
Programmation (Informatique) > Congrès.
Réécriture, Systèmes de (Informatique) > Congrès.
Algorithms.
Computer programming.
Rewriting systems (Computer science)
Algebraïsche logica.
Bewijstheorie.
Herschrijfregels.
Computermethoden.
Réécriture, Systèmes de (informatique) > Congrès.
Ordinateurs > Programmation > Congrès.
Electronic books.
Conference proceedings.
Electronic resources (Books)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA267 .I555 1995
 
Call Number Status Get It
QA267 .I555 1995 Available