/

Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

Börger, Egon Gurevich Yuri Meinke Karl
Heftet / 1994 / Engelsk

Produktdetaljer

ISBN
9783540582779
Publisert
1994-07-20
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
279 mm
Bredde
216 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
8

Redaktør
Börger, Egon
Gurevich Yuri
Meinke Karl

Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

Börger, Egon Gurevich Yuri Meinke Karl
Heftet / 1994 / Engelsk
Börger, Egon Gurevich Yuri Meinke Karl
Heftet / 1994 / Engelsk
855,-
Laveste pris siste 30 dager: 829,-
Levering 7-20 dager
Klikk og hent
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
Les mer
This volume contains a selection of papers presented at the Conference of the European Association for Computer Science Logic, held at Swansea in September 1993. Topics discussed include set constraints, lambda calculi, process algebras, program semantics, fixed-point logics, Horn clauses and more.
Les mer
Springer Book Archives
Springer Book Archives
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Relaterte produkter

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
Les mer
This volume contains a selection of papers presented at the Conference of the European Association for Computer Science Logic, held at Swansea in September 1993. Topics discussed include set constraints, lambda calculi, process algebras, program semantics, fixed-point logics, Horn clauses and more.
Les mer
Springer Book Archives
Springer Book Archives
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Produktdetaljer

ISBN
9783540582779
Publisert
1994-07-20
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
279 mm
Bredde
216 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
8

Redaktør
Börger, Egon
Gurevich Yuri
Meinke Karl

Relaterte produkter