Cover Image

Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday /

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 Linguistic...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Nigam, Vivek. (Editor, http://id.loc.gov/vocabulary/relators/edt), Ban Kirigin, Tajana. (Editor, http://id.loc.gov/vocabulary/relators/edt), Talcott, Carolyn. (Editor, http://id.loc.gov/vocabulary/relators/edt), Guttman, Joshua. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kuznetsov, Stepan. (Editor, http://id.loc.gov/vocabulary/relators/edt), Thau Loo, Boon. (Editor, http://id.loc.gov/vocabulary/relators/edt), Okada, Mitsuhiro. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:1st ed. 2020.
Series:Theoretical Computer Science and General Issues ; 12300
Subjects:
Mathematical logic.
Artificial intelligence.
Computer logic.
Computer organization.
Software engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Logics and Meanings of Programs.
Computer Systems Organization and Communication Networks.
Software Engineering/Programming and Operating Systems.
Online Access:https://doi.org/10.1007/978-3-030-62077-6

Internet

https://doi.org/10.1007/978-3-030-62077-6

Similar Items