Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monad

主題:

Algorithms; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Mathematical Logic and Foundations; Software Engineering; Theory of Computation

目次情報:

ブックレビュー

類似資料:

1 電子ブック Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings Börger, Egon., Jäger, Gerhard., Kleine Büning, Hans., Richter, Michael M., SpringerLink (Online service)	7 電子ブック Computer Science Logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers Pacholski, Leszek., Tiuryn, Jerzy., SpringerLink (Online service)
2 電子ブック Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings Börger, Egon., Kleine Büning, Hans., Richter, Michael M., Schönfeld, Wolfgang., SpringerLink (Online service)	8 電子ブック Mathematical Foundations of Computer Science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings Havel, Ivan M., Koubek, Vaclav., SpringerLink (Online service)
3 電子ブック 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)	9 電子ブック Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings Börger, Egon., Gargantini, Angelo., Riccobene, Elvinia., SpringerLink (Online service)
4 電子ブック Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers Börger, Egon., Gurevich, Yuri., Meinke, Karl., SpringerLink (Online service)	10 電子ブック Meta-Programming in Logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings Pettorossi, Alberto., SpringerLink (Online service)
5 電子ブック CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings Börger, Egon., Kleine Büning, Hans., Richter, Michael M., SpringerLink (Online service)	11 電子ブック 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)
6 電子ブック Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings Nerode, Anil., Taitslin, Mikhail., SpringerLink (Online service)	12 電子ブック Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. … Zimmermann, Wolf., Thalheim, Bernhard., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12