Iemhoff, Rosalie.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Dick de jongh on intuitionistic and provability logics
by:
Bezhanishvili, Nick.; Iemhoff, Rosalie.; Jongh, Dick de.; SpringerLink (Online service); Yang, Fan.
(Electronic resources)
Logic, language, information, and computation26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings /
by:
(1998 :); Iemhoff, Rosalie.; Moortgat, Michael.; Queiroz, Ruy de.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Jongh, Dick de.
Logic.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Language and logic
Artificial Intelligence.
Logic, Symbolic and mathematical
Mathematical Logic in Philosophy.