Items related to Logic, Language, and Security: Essays Dedicated to...

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues) - Softcover

 
9783030620769: Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)

Synopsis

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday.

The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.

The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.


"synopsis" may belong to another edition of this title.

From the Back Cover

This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer science including Proof Theory, Logic in Computer Science, Foundations in Computer Security, and Linguistics.

This combination of breadth and penetrating originality is rare and impressive. This Festschrift only tries to reflect this combination with a number of contributions distributed among these different topics.

It contains 11 technical articles and 3 short papers organized among sections on Logic, Logic and Computing, Logic and Security, and Logic and Language. Those articles are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.

The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.


"About this title" may belong to another edition of this title.

Search results for Logic, Language, and Security: Essays Dedicated to...

Stock Image

Published by Springer, 2020
ISBN 10: 303062076X ISBN 13: 9783030620769
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020024360

Contact seller

Buy New

US$ 69.51
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2020
ISBN 10: 303062076X ISBN 13: 9783030620769
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783030620769

Contact seller

Buy New

US$ 87.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2020
ISBN 10: 303062076X ISBN 13: 9783030620769
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. X, 203 292 illus., 16 illus. in color. 1 Edition NO-PA16APR2015-KAP. Seller Inventory # 26384560675

Contact seller

Buy New

US$ 93.84
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2020
ISBN 10: 303062076X ISBN 13: 9783030620769
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783030620769_new

Contact seller

Buy New

US$ 85.43
Convert currency
Shipping: US$ 16.23
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Nigam, Vivek
Published by Springer 2020-10, 2020
ISBN 10: 303062076X ISBN 13: 9783030620769
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783030620769

Contact seller

Buy New

US$ 81.30
Convert currency
Shipping: US$ 20.98
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Vivek Nigam
ISBN 10: 303062076X ISBN 13: 9783030620769
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 216 pp. Englisch. Seller Inventory # 9783030620769

Contact seller

Buy New

US$ 77.46
Convert currency
Shipping: US$ 26.95
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2020
ISBN 10: 303062076X ISBN 13: 9783030620769
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. X, 203 292 illus., 16 illus. in color. Seller Inventory # 379343356

Contact seller

Buy New

US$ 95.65
Convert currency
Shipping: US$ 8.81
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2020
ISBN 10: 303062076X ISBN 13: 9783030620769
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. PRINT ON DEMAND pp. X, 203 292 illus., 16 illus. in color. Seller Inventory # 18384560681

Contact seller

Buy New

US$ 105.29
Convert currency
Shipping: US$ 11.66
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Nigam, Vivek|Ban Kirigin, Tajana|Talcott, Carolyn|Guttman, Joshua|Kuznetsov, Stepan|Thau Loo, Boon|Okada, Mitsuhiro
ISBN 10: 303062076X ISBN 13: 9783030620769
New Softcover

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 410051481

Contact seller

Buy New

US$ 68.96
Convert currency
Shipping: US$ 57.40
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Nigam, Vivek (Editor)/ Kirigin, Tajana Ban (Editor)/ Talcott, Carolyn (Editor)/ Guttman, Joshua (Editor)/ Kuznetsov, Stepan (Editor)
Published by Springer Nature, 2020
ISBN 10: 303062076X ISBN 13: 9783030620769
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 203 pages. 9.25x6.10x0.55 inches. In Stock. Seller Inventory # x-303062076X

Contact seller

Buy New

US$ 105.67
Convert currency
Shipping: US$ 33.87
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 2 more copies of this book

View all search results for this book