21
Publications
613
Citations
15
H-Index
1976
Active since
H.C.M. de Swart is an author at Tilburg University specializing in engineering, automated reasoning, and political science.
Top concepts
EngineeringAutomated ReasoningPoliticsBusinessFormal MethodsGame TheorySocial SciencesComputer ScienceCooperative Game TheoryDemocracy
Publications per year
1976–2014
21
21
Meaning and Use of not...until
H.C.M. de Swart · Journal of Semantics · 1996 · 65 citations
Manzoor Ahmad Zahid, H.C.M. de Swart · Information Sciences · 2014 · 42 citations · Full text
Another intuitionistic completeness proof
H.C.M. de Swart · Journal of Symbolic Logic · 1976 · 40 citations
Rows per page
1–5 of 21