Skip to main content

Logic, Computation and Rigorous Methods

Teacher Information

Name
Klaus-Dieter Schewe ZJU Faculty Homepage
Department
ZJUI
Research
Exact Computation; Logic and Semantics; Data and Knowledge Base Theory; Distributed and Hybrid Systems
Document Type
Book
Logic, Computation and Rigorous Methods

Publication

Subtitle
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Author/Author of Source
Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
Publisher
Springer
P-ISBN
9783030760199
E-ISBN
9783030760205
Abstract

It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.

DOI
https://doi.org/10.1007/978-3-030-76020-5

Print & Electronic Holdings

Database
Springer
Link