Languages
Iemhoff, Rosalie.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Dick de jongh on intuitionistic and provability logics
by:
Iemhoff, Rosalie.; Yang, Fan.; SpringerLink (Online service); Bezhanishvili, Nick.
(Electronic resources)
Logic, language, information, and computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings /
by:
Workshop on Logic, Language, Information and Computation (2019 :); Iemhoff, Rosalie.; Moortgat, Michael.; SpringerLink (Online service); Queiroz, Ruy de.
(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.