Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings

>> Google Books

Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings / edited by Pierre Lescanne

版:

1st ed. 1987

資料種別:

電子ブック

形態:

VIII, 288 p.

シリーズ名:

Lecture Notes in Computer Science ; 256

著者名:

ISBN:

9783540474210 [3540474218]
9783662197769 [3662197766]
9783540172208 [3540172203]

書誌ID:

EB00001435

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

Second International Conference on Rewriting Techniques and Applications

注記:

This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.

主題:

Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Mathematical Logic and Foundations

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Formal Properties of Finite Automata and Applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings Pin, Jean E., SpringerLink (Online service)	7 電子ブック Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings Pitt, David H., Rydeheard, David E., Dybjer, Peter., Pitts, Andrew., Poigne, Axel., SpringerLink (Online service)
2 電子ブック Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings Dershowitz, Nachum., SpringerLink (Online service)	8 電子ブック Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985 Jouannaud, Jean-Pierre., SpringerLink (Online service)
3 図書 Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings (: gw ; : us) Lescanne, Pierre, International Conference on Rewriting Techniques and Applications Springer-Verlag	9 電子ブック Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings Grabowski, Jan., Lescanne, Pierre., Wechler, Wolfgang., SpringerLink (Online service)
4 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)	10 電子ブック λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo … Böhm, C., SpringerLink (Online service)
5 電子ブック Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings Pitt, David H., Poigne, Axel., Rydeheard, David E., SpringerLink (Online service)	11 電子ブック STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings Cori, Robert., Wirsing, Martin., SpringerLink (Online service)
6 電子ブック CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings Börger, Egon., Kleine Büning, Hans., Richter, Michael M., SpringerLink (Online service)	12 電子ブック A Connotational Theory of Program Structure Royer, James S., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12