Concepedia

Dick de Jongh

DD

17

Publications

305

Citations

13

H-Index

1990

Active since

Affiliations

University of Amsterdam(Current)

Utrecht University

Dick de Jongh is an author at University of Amsterdam specializing in automated reasoning, engineering, and formal methods.

Top concepts

Publications per year

1990–2018

17

Publications

17

Angluin's theorem for indexed families of r.e. sets and applications

Dick de Jongh, Makoto Kanazawa · 1996 · 34 citations

, , +12

Explicit Fixed Points in Interpretability Logic

Dick de Jongh, Albert Visser · Studia Logica · 1991 · 34 citations · Full text

, , +7

On the proof of Solovay's theorem

Dick de Jongh, Marc Jumelet, Franco Montagna · Studia Logica · 1991 · 26 citations

, ,

Subminimal negation

Almudena Colacito, Dick de Jongh, Ana Lucia Vargas · Soft Computing · 2016 · 20 citations · Full text

Intermediate Logics and the de Jongh property

Dick de Jongh, Rineke Verbrugge, Albert Visser · Archive for Mathematical Logic · 2010 · 19 citations · Full text

Rows per page

1–5 of 17